Skip to content
Test Generated C

update CI to Coq 8.16, and remove Ubuntu LTS because we now have Debian #4469

Sign in to view logs

update CI to Coq 8.16, and remove Ubuntu LTS because we now have Debian

update CI to Coq 8.16, and remove Ubuntu LTS because we now have Debian #4469

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test-c
13m 10s
13m 10s