Skip to content
CI (Coq, Debian)

gcc --version, not gcc -v #171

Sign in to view logs

gcc --version, not gcc -v

gcc --version, not gcc -v #171

Run time

Learn about OS pricing on GitHub Actions
Job Run time
bookworm
3h 4m 1s
sid
3h 45m 16s
test-amd64
4h 37m 25s
11h 26m 42s