Skip to content

Commit

Permalink
Merge branch 'main' into popzxc-framework-shutdown-task
Browse files Browse the repository at this point in the history
  • Loading branch information
popzxc committed Jun 25, 2024
2 parents 5472ebc + 627aab9 commit a4320cd
Show file tree
Hide file tree
Showing 202 changed files with 1,551 additions and 1,382 deletions.
2 changes: 1 addition & 1 deletion .github/release-please/manifest.json
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
{
"core": "24.7.0",
"core": "24.8.0",
"prover": "15.0.0"
}
Loading

0 comments on commit a4320cd

Please sign in to comment.