Skip to content

ci: bump leanprover/lean-action from 1.6.0 to 1.6.1 in the actions group - #265

Closed
dependabot[bot] wants to merge 1 commit into
mainfrom
dependabot/github_actions/actions-5c730b7206
Closed

ci: bump leanprover/lean-action from 1.6.0 to 1.6.1 in the actions group#265
dependabot[bot] wants to merge 1 commit into
mainfrom
dependabot/github_actions/actions-5c730b7206

ci: bump leanprover/lean-action from 1.6.0 to 1.6.1 in the actions group

7b36da4
Select commit
Loading
Failed to load commit list.
GitHub Advanced Security / CodeQL completed Oct 8, 2026 in 4s

1 configuration not found

Warning: Code scanning cannot determine the alerts introduced by this pull request, because 1 configuration present on refs/heads/main was not found:

Actions workflow (codeql.yml)

  • ❓  .github/workflows/codeql.yml:analyze

View all branch alerts.