Skip to content

Conversation

@epatters
Copy link
Member

Previously, we were pinned to a specific commit b/w 0.4 and 0.5.

@epatters epatters added the core Rust core for categorical logic and general computation label Nov 16, 2024
@github-actions
Copy link

@epatters epatters merged commit 67e7305 into main Nov 16, 2024
10 checks passed
@epatters epatters deleted the bump-ode-solvers branch November 16, 2024 05:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

core Rust core for categorical logic and general computation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants