Skip to content
Docker CI

take into account changes written in meta.yml #126

Sign in to view logs

take into account changes written in meta.yml

take into account changes written in meta.yml #126

Run time

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