Lean Proofs

chore(deps): bump actions/checkout from 6.0.3 to 7.0.0 in the actions group #21

Sign in to view logs

Triggered via pull request June 19, 2026 10:24

dependabot[bot]

opened #54

dependabot/github_actions/actions-2217aebe03

Status Success

Total duration 51s

Artifacts –

lean-proofs.yml

on: pull_request

Build Lean proofs (oracle)