Skip to content

Actions: leanprover/lean4wip

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

feat: resolve generalized field notation using all parents (#5770) Actionlint #2: Commit 465ed8a pushed by jtristan
October 31, 2024 23:16 3m 2s master
master
October 31, 2024 23:16 3m 2s
fix: variable must execute pending tactics and elaboration problems… Actionlint #1: Commit 0a0f1d7 pushed by jtristan
June 6, 2024 13:52 45s master
master
June 6, 2024 13:52 45s