Skip to content

ci: lint workflow files with actionlint - #892

Open
jessealama wants to merge 2 commits into
leanprover:mainfrom
jessealama:ci/actionlint
Open

ci: lint workflow files with actionlint#892
jessealama wants to merge 2 commits into
leanprover:mainfrom
jessealama:ci/actionlint

Merge remote-tracking branch 'upstream/main' into ci/actionlint

49509c2
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check-pr-title
succeeded Sep 12, 2026 in 5s