Skip to content
Lean Proofs

chore(deps): bump the actions group across 1 directory with 2 updates #13

Sign in to view logs

chore(deps): bump the actions group across 1 directory with 2 updates

chore(deps): bump the actions group across 1 directory with 2 updates #13

Triggered via push June 6, 2026 17:59
@hyperpolymathhyperpolymath
pushed 357b806
main
Status Success
Total duration 18s
Artifacts –

lean-proofs.yml

on: push
Build Lean proofs (oracle)
14s
Build Lean proofs (oracle)
Fit to window
Zoom out
Zoom in