Skip to content
CI

Merge pull request #2765 from rtetley/coq-unicoq.1.6+8.18 #223

Sign in to view logs

Merge pull request #2765 from rtetley/coq-unicoq.1.6+8.18

Merge pull request #2765 from rtetley/coq-unicoq.1.6+8.18 #223

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
6m 29s
deploy
9s
6m 38s