Skip to content

Actions: leanprover/lean4wip

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
128 workflow runs
128 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

PR release PR release #8: completed by jtristan
November 7, 2024 07:02 1s
November 7, 2024 07:02 1s
CI CI #8: Scheduled
November 7, 2024 07:02 21s master
master
November 7, 2024 07:02 21s
PR release PR release #7: completed by jtristan
November 6, 2024 07:02 2s
November 6, 2024 07:02 2s
CI CI #7: Scheduled
November 6, 2024 07:02 18s master
master
November 6, 2024 07:02 18s
PR release PR release #6: completed by jtristan
November 5, 2024 07:02 2s
November 5, 2024 07:02 2s
CI CI #6: Scheduled
November 5, 2024 07:01 23s master
master
November 5, 2024 07:01 23s
PR release PR release #5: completed by jtristan
November 4, 2024 07:02 2s
November 4, 2024 07:02 2s
CI CI #5: Scheduled
November 4, 2024 07:02 19s master
master
November 4, 2024 07:02 19s
PR release PR release #4: completed by jtristan
November 3, 2024 07:02 1s
November 3, 2024 07:02 1s
CI CI #4: Scheduled
November 3, 2024 07:01 16s master
master
November 3, 2024 07:01 16s
PR release PR release #3: completed by jtristan
November 2, 2024 07:03 3s
November 2, 2024 07:03 3s
CI CI #3: Scheduled
November 2, 2024 07:01 1m 4s master
master
November 2, 2024 07:01 1m 4s
PR release PR release #2: completed by jtristan
November 1, 2024 07:02 1s
November 1, 2024 07:02 1s
CI CI #2: Scheduled
November 1, 2024 07:02 17s master
master
November 1, 2024 07:02 17s
PR release PR release #1: completed by jtristan
November 1, 2024 00:14 2s
November 1, 2024 00:14 2s
feat: resolve generalized field notation using all parents (#5770) Nix CI #5: Commit 465ed8a pushed by jtristan
October 31, 2024 23:16 53m 12s master
master
October 31, 2024 23:16 53m 12s
feat: resolve generalized field notation using all parents (#5770) CI #1: Commit 465ed8a pushed by jtristan
October 31, 2024 23:16 57m 34s master
master
October 31, 2024 23:16 57m 34s
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
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