Skip to content
CI (Coq, docker, dev)

gcc --version, not gcc -v #773

Sign in to view logs

gcc --version, not gcc -v

gcc --version, not gcc -v #773

Run time

Learn about OS pricing on GitHub Actions
Job Run time
master
4h 26m 14s
test-amd64
3h 28m 28s
7h 54m 42s