Skip to content
CI (Coq, docker, dev)

Merge pull request #1705 from mit-plv/dependabot/submodules/rupicola-… #805

Sign in to view logs

Merge pull request #1705 from mit-plv/dependabot/submodules/rupicola-…

Merge pull request #1705 from mit-plv/dependabot/submodules/rupicola-… #805

Run time

Learn about OS pricing on GitHub Actions
Job Run time
master
2h 49m 58s
test-amd64
3h 18m 13s
6h 8m 11s