Ömer Faruk Irmak e27ab5a396 Merge remote-tracking branch 'origin/develop' into omerfirmak/euclid-prover

2025-03-05 10:43:19 +03:00

..

scripts

ci: auto version bump when not bumped manually (#792)

2023-08-16 11:03:24 +08:00

workflows

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

2025-03-05 10:43:19 +03:00

pull_request_template.md

fix(ci): enable the bump-version bot when PR is updated (#905)

2023-09-01 22:41:23 +08:00