Add proof-producer-debug-gcc check in CI #1278
GitHub Actions / Gcc Test Results
succeeded
Dec 13, 2024 in 0s
All 3 172 tests pass, 6 skipped in 19m 1s
160 files 160 suites 19m 1s ⏱️
3 178 tests 3 172 ✅ 6 💤 0 ❌
3 266 runs 3 260 ✅ 6 💤 0 ❌
Results for commit ec3a3be.
Loading