Skip to content
CI (Coq, MacOS)

gcc --version, not gcc -v #3843

Sign in to view logs

gcc --version, not gcc -v

gcc --version, not gcc -v #3843

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-macos
2h 55m 3s
2h 55m 3s