Make proof-producer executables static #1225
GitHub Actions / Clang Test Results
succeeded
Dec 12, 2024 in 0s
All 3 073 tests pass, 6 skipped in 18m 11s
159 files 159 suites 18m 11s ⏱️
3 079 tests 3 073 ✅ 6 💤 0 ❌
3 167 runs 3 161 ✅ 6 💤 0 ❌
Results for commit 331148e.
Loading