Compile blueprint

Bump leanprover/lean-action from 1.3.0 to 1.4.0 #237

Sign in to view logs

Triggered via pull request February 1, 2026 04:24

dependabot[bot]

opened #123

dependabot/github_actions/leanprover/lean-action-1.4.0

Status Success

Total duration 5m 9s

Artifacts –

blueprint.yml

on: pull_request