Skip to content

Conversation

cscheid
Copy link
Collaborator

@cscheid cscheid commented Apr 24, 2025

(Thanks @jeremy9959)

This brings #3640 up to date.

@cscheid cscheid added this to the v1.8 milestone Apr 24, 2025
@posit-snyk-bot
Copy link
Collaborator

posit-snyk-bot commented Apr 24, 2025

🎉 Snyk checks have passed. No issues have been found so far.

security/snyk check is complete. No issues have been found. (View Details)

license/snyk check is complete. No issues have been found. (View Details)

@cscheid cscheid merged commit a396be4 into main Apr 29, 2025
49 checks passed
@cscheid cscheid deleted the feature/alg-theorem branch April 29, 2025 16:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants