New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add proof-producer-debug-gcc check in CI #203

Merged

AndreyMlashkin merged 6 commits into master from add_proof-producer_debug_build

Dec 16, 2024

Merged

Add proof-producer-debug-gcc check in CI #203

correct code review notes

GitHub Actions / Clang Test Results succeeded Dec 16, 2024 in 0s

All 3 075 tests pass, 6 skipped in 16m 23s

159 files ±0 159 suites ±0 16m 23s ⏱️ ±0s
3 081 tests ±0 3 075 ✅ ±0 6 💤 ±0 0 ❌ ±0
3 169 runs ±0 3 163 ✅ ±0 6 💤 ±0 0 ❌ ±0

Results for commit c19767e. ± Comparison against earlier commit ef0babd.

View more details on GitHub Actions