Merge remote-tracking branch 'origin/develop' into omerfirmak/euclid-prover

This commit is contained in:
Ömer Faruk Irmak
2025-03-04 17:50:31 +03:00
38 changed files with 7639 additions and 124 deletions

View File

@@ -29,7 +29,7 @@ jobs:
steps:
- uses: actions-rs/toolchain@v1
with:
toolchain: nightly-2023-12-03
toolchain: nightly-2024-12-06
override: true
components: rustfmt, clippy
- name: Install Go