Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
84,143 workflow run results
84,143 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: elaborate theorem bodies in parallel Check PR title for commit convention #10813: Pull request #5864 synchronize by Kha
October 28, 2024 21:31 7s Kha:async-proofs
Kha:async-proofs
October 28, 2024 21:31 7s
feat: elaborate theorem bodies in parallel Check for copyright header #5839: Pull request #5864 synchronize by Kha
October 28, 2024 21:31 29s Kha:async-proofs
Kha:async-proofs
October 28, 2024 21:31 29s
feat: elaborate theorem bodies in parallel Nix CI #20232: Pull request #5864 synchronize by Kha
October 28, 2024 21:31 6h 1m 35s Kha:async-proofs
Kha:async-proofs
October 28, 2024 21:31 6h 1m 35s
feat: elaborate theorem bodies in parallel CI #23442: Pull request #5864 synchronize by Kha
October 28, 2024 21:31 6h 1m 58s Kha:async-proofs
Kha:async-proofs
October 28, 2024 21:31 6h 1m 58s
PR release PR release #14015: completed by github-merge-queue bot
October 28, 2024 21:29 2s
October 28, 2024 21:29 2s
Check for stage0 changes Check for stage0 changes #5835: Merge group checks requested
October 28, 2024 21:27 31s
October 28, 2024 21:27 31s
Check PR title for commit convention Check PR title for commit convention #10812: Merge group checks requested
October 28, 2024 21:27 21s
October 28, 2024 21:27 21s
Actionlint Actionlint #2509: Merge group checks requested
October 28, 2024 21:27 2m 53s
October 28, 2024 21:27 2m 53s
Nix CI Nix CI #20231: Merge group checks requested
October 28, 2024 21:27 13m 4s
October 28, 2024 21:27 13m 4s
CI CI #23441: Merge group checks requested
October 28, 2024 21:27 24m 50s
October 28, 2024 21:27 24m 50s
fix: let simp arguments elaborate with error recovery Check for stage0 changes #5834: Pull request #5863 synchronize by kmill
October 28, 2024 21:24 32s kmill:simp_list_elab_ix
kmill:simp_list_elab_ix
October 28, 2024 21:24 32s
fix: let simp arguments elaborate with error recovery Nix CI #20230: Pull request #5863 synchronize by kmill
October 28, 2024 21:24 8m 41s kmill:simp_list_elab_ix
kmill:simp_list_elab_ix
October 28, 2024 21:24 8m 41s
fix: let simp arguments elaborate with error recovery Check for copyright header #5838: Pull request #5863 synchronize by kmill
October 28, 2024 21:24 1m 46s kmill:simp_list_elab_ix
kmill:simp_list_elab_ix
October 28, 2024 21:24 1m 46s
fix: let simp arguments elaborate with error recovery Check PR title for commit convention #10811: Pull request #5863 synchronize by kmill
October 28, 2024 21:24 1m 19s kmill:simp_list_elab_ix
kmill:simp_list_elab_ix
October 28, 2024 21:24 1m 19s
fix: let simp arguments elaborate with error recovery Check for modules that should use `prelude` #5683: Pull request #5863 synchronize by kmill
October 28, 2024 21:24 1m 27s kmill:simp_list_elab_ix
kmill:simp_list_elab_ix
October 28, 2024 21:24 1m 27s
fix: let simp arguments elaborate with error recovery CI #23440: Pull request #5863 synchronize by kmill
October 28, 2024 21:24 14m 35s kmill:simp_list_elab_ix
kmill:simp_list_elab_ix
October 28, 2024 21:24 14m 35s
RFC: Better error reports for incomplete calc Jira sync #202: Issue #4318 closed by kmill
October 28, 2024 21:03 1m 28s
October 28, 2024 21:03 1m 28s
feat: improved calc error messages (#5719) CI #23439: Commit 19bebfc pushed by github-merge-queue bot
October 28, 2024 21:03 25m 12s master
master
October 28, 2024 21:03 25m 12s
feat: improved calc error messages Backport #4824: Pull request #5719 closed by kmill
October 28, 2024 21:03 30s
October 28, 2024 21:03 30s
feat: improved calc error messages (#5719) Update stage0 #1982: Commit 19bebfc pushed by github-merge-queue bot
October 28, 2024 21:03 54s master
master
October 28, 2024 21:03 54s
feat: improved calc error messages (#5719) Nix CI #20229: Commit 19bebfc pushed by github-merge-queue bot
October 28, 2024 21:03 16m 2s master
master
October 28, 2024 21:03 16m 2s
PR release PR release #14014: completed by kmill
October 28, 2024 21:03 2s
October 28, 2024 21:03 2s
Actionlint Actionlint #2508: Merge group checks requested
October 28, 2024 20:39 4m 15s
October 28, 2024 20:39 4m 15s
Check for stage0 changes Check for stage0 changes #5833: Merge group checks requested
October 28, 2024 20:39 1m 41s
October 28, 2024 20:39 1m 41s
CI CI #23438: Merge group checks requested
October 28, 2024 20:39 24m 23s
October 28, 2024 20:39 24m 23s