Skip to content
CI (Coq, docker, dev)

Update coq-windows.yml to echo build params better hopefully #865

Sign in to view logs

Update coq-windows.yml to echo build params better hopefully

Update coq-windows.yml to echo build params better hopefully #865

Run time

Learn about OS pricing on GitHub Actions
Job Run time
master
4h 57m 29s
test-amd64
3h 29m 20s
8h 26m 49s