Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

FIX: dont attempt to reschedule timers that are deleted (FIXES: #1048) #1088

Merged
merged 2 commits into from
Feb 19, 2024

Conversation

braindigitalis
Copy link
Contributor

@braindigitalis braindigitalis commented Feb 19, 2024

Fixes #1048

Code change checklist

  • I have ensured that all methods and functions are fully documented using doxygen style comments.
  • My code follows the coding style guide.
  • I tested that my change works before raising the PR.
  • I have ensured that I did not break any existing API calls.
  • I have not built my pull request using AI, a static analysis tool or similar without any human oversight.

Copy link

netlify bot commented Feb 19, 2024

Deploy Preview for dpp-dev ready!

Name Link
🔨 Latest commit c89adc3
🔍 Latest deploy log https://app.netlify.com/sites/dpp-dev/deploys/65d3278329a47f0008379b37
😎 Deploy Preview https://deploy-preview-1088--dpp-dev.netlify.app
📱 Preview on mobile
Toggle QR Code...

QR Code

Use your smartphone camera to open QR code link.

To edit notification comments on pull requests, go to your Netlify site configuration.

@github-actions github-actions bot added the code Improvements or additions to code. label Feb 19, 2024
@braindigitalis braindigitalis merged commit 9ccd5db into dev Feb 19, 2024
75 of 77 checks passed
@braindigitalis braindigitalis deleted the fix_tick_timers branch February 19, 2024 10:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
code Improvements or additions to code.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants