Skip to content
Coq Build Oracle

build(deps): Bump actions/checkout in the actions group #40

Sign in to view logs

build(deps): Bump actions/checkout in the actions group

build(deps): Bump actions/checkout in the actions group #40

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Compile Coq proofs + assumptions guard
25s
25s