Skip to content
Docker CI

take into account changes written in meta.yml #121

Sign in to view logs

take into account changes written in meta.yml

take into account changes written in meta.yml #121

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (rocq/rocq-prover:dev)
2m 23s
2m 23s