Skip to content
Docker CI

Changed op sem for shift but still extra tick #101

Sign in to view logs

Changed op sem for shift but still extra tick

Changed op sem for shift but still extra tick #101

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build_nix
7m 7s
build (coqorg/coq:8.17)
7m 23s
14m 30s