Skip to content
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

Jump to bottom

ci, gha: Run "SageMath prover" job on GitHub Actions #1399

Merged
merged 2 commits into from
Aug 15, 2023

Revert "ci: Run sage prover on CI"

8408dfd
Select commit
Loading
Failed to load commit list.
Merged

ci, gha: Run "SageMath prover" job on GitHub Actions #1399

Revert "ci: Run sage prover on CI"
8408dfd
Select commit
Loading
Failed to load commit list.
This check has been archived and is scheduled for deletion. Learn more about checks retention
Cirrus CI / C++ -fpermissive (entire project) succeeded Aug 14, 2023 in 2m 48s

Task Summary

Task successfully finished!

Details

⚠️ Monthly free compute limit exceeded and will be limited next month!
ℹ️ Scheduling was delayed due to a concurrency limit on community tasks

✅ 00:01 clone
✅ 02:35 test
✅ 00:01 cat_tests_log
✅ 00:01 cat_noverify_tests_log
✅ 00:01 cat_exhaustive_tests_log
✅ 00:01 cat_ctime_tests_log
✅ 00:01 cat_bench_log
✅ 00:01 cat_config_log
✅ 00:01 cat_test_env
✅ 00:01 cat_ci_env

View more details on Cirrus CI