add proofs generation #374
GitHub Actions / Gcc Test Results
succeeded
Oct 15, 2024 in 0s
All 3 225 tests pass, 6 skipped in 12m 12s
158 files 158 suites 12m 12s ⏱️
3 231 tests 3 225 ✅ 6 💤 0 ❌
3 301 runs 3 295 ✅ 6 💤 0 ❌
Results for commit d07d84f.
Loading