Skip to content
CI

Try to fix previous https://github.com/coq/opam/pull/3240 #1465

Sign in to view logs

Try to fix previous https://github.com/coq/opam/pull/3240

Try to fix previous https://github.com/coq/opam/pull/3240 #1465

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
1m 8s
deploy
1s
1m 9s