Skip to content
Docker CI

take into account changes written in meta.yml #127

Sign in to view logs

take into account changes written in meta.yml

take into account changes written in meta.yml #127

Run time

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