Skip to content

Actions: awueth/mathlib4

Actions

Actionlint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
actionlint.yml
2 workflow runs
2 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Setup blueprint Actionlint #2: Commit edcc8d9 pushed by awueth
May 6, 2024 11:07 23s master
master
May 6, 2024 11:07 23s
chore: remove pp.proofs.withType, as this is now default (#12689) Actionlint #1: Commit e5ecd7d pushed by awueth
May 6, 2024 10:54 22s master
master
May 6, 2024 10:54 22s