Skip to content
CI

update coq-hol-light-real-with-N #1630

Sign in to view logs

update coq-hol-light-real-with-N

update coq-hol-light-real-with-N #1630

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
1m 32s
deploy
7s
1m 39s