8000 update README · fblanqui/color@1d79312 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
Docker CI

update README #64

Sign in to view logs

update README

update README #64

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (coqorg/coq:dev)
4m 36s
build (coqorg/coq:8.19)
4m 34s
build (coqorg/coq:8.18)
4m 37s
build (coqorg/coq:8.17)
4m 39s
build (coqorg/coq:8.16)
4m 38s
build (coqorg/coq:8.15)
5m 12s
build (coqorg/coq:8.14)
5m 20s
33m 36s
0