Skip to content

Bump leanprover/lean-action from 96e06131c0e9943c780388fd166f55d1e2fa0433 to f061402b660e0c34644504b324e830f2991d4865 - #39

Merged
gaetanserre merged 1 commit into
mainfrom
dependabot/github_actions/leanprover/lean-action-f061402b660e0c34644504b324e830f2991d4865
Oct 1, 2026
Merged

Bump leanprover/lean-action from 96e06131c0e9943c780388fd166f55d1e2fa0433 to f061402b660e0c34644504b324e830f2991d4865#39
gaetanserre merged 1 commit into
mainfrom
dependabot/github_actions/leanprover/lean-action-f061402b660e0c34644504b324e830f2991d4865

Bump leanprover/lean-action

1f81a3c
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar