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

Triggered via push June 19, 2026 01:36
@hyperpolymathhyperpolymath
pushed 1fee6ee
main
Status Success
Total duration 29s
Artifacts –

coq-build.yml

on: push
Compile Coq proofs + assumptions guard
25s
Compile Coq proofs + assumptions guard
Fit to window
Zoom out
Zoom in