Skip to content

Actions: leanprover/lean4wip

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
135 workflow runs
135 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: resolve generalized field notation using all parents (#5770) Update stage0 #5: Commit 465ed8a pushed by jtristan
October 31, 2024 23:16 31s master
master
October 31, 2024 23:16 31s
chore: fix typo in trace.split.failure error message (#4431) Nix CI #4: Commit bedcbfc pushed by jtristan
June 12, 2024 15:14 19m 5s master
master
June 12, 2024 15:14 19m 5s
chore: fix typo in trace.split.failure error message (#4431) Update stage0 #4: Commit bedcbfc pushed by jtristan
June 12, 2024 15:14 26s master
master
June 12, 2024 15:14 26s
chore: build Lake again Update stage0 #3: Commit 7b72458 pushed by jtristan
June 7, 2024 12:40 25s master
master
June 7, 2024 12:40 25s
chore: build Lake again Nix CI #3: Commit 7b72458 pushed by jtristan
June 7, 2024 12:40 31m 7s master
master
June 7, 2024 12:40 31m 7s
fix: variable must execute pending tactics and elaboration problems… Nix CI #2: Commit 0a0f1d7 pushed by jtristan
June 6, 2024 13:52 26m 51s master
master
June 6, 2024 13:52 26m 51s
fix: variable must execute pending tactics and elaboration problems… Update stage0 #2: Commit 0a0f1d7 pushed by jtristan
June 6, 2024 13:52 32s master
master
June 6, 2024 13:52 32s
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
feat: getLsb_sshiftRight (#4179) Update stage0 #1: Commit 81f5b07 pushed by jtristan
June 3, 2024 13:04 44s master
master
June 3, 2024 13:04 44s
feat: getLsb_sshiftRight (#4179) Nix CI #1: Commit 81f5b07 pushed by jtristan
June 3, 2024 13:04 34m 7s master
master
June 3, 2024 13:04 34m 7s