Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
91,809 workflow run results
91,809 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Check PR title for commit convention Check PR title for commit convention #11172: Merge group checks requested
November 5, 2024 10:41 9s
November 5, 2024 10:41 9s
Actionlint Actionlint #2600: Merge group checks requested
November 5, 2024 10:41 31s
November 5, 2024 10:41 31s
Check for stage0 changes Check for stage0 changes #6121: Merge group checks requested
November 5, 2024 10:41 34s
November 5, 2024 10:41 34s
CI CI #23812: Merge group checks requested
November 5, 2024 10:41 28m 38s
November 5, 2024 10:41 28m 38s
Nix CI Nix CI #20593: Merge group checks requested
November 5, 2024 10:41 6m 15s
November 5, 2024 10:41 6m 15s
CI CI #23811: Manually run by Kha
November 5, 2024 10:41 1h 18m 4s master
master
November 5, 2024 10:41 1h 18m 4s
PR release PR release #14387: completed by Kha
November 5, 2024 10:41 2m 48s
November 5, 2024 10:41 2m 48s
PR release PR release #14386: completed by github-merge-queue bot
November 5, 2024 10:34 2s
November 5, 2024 10:34 2s
chore: CI: give Linux Debug unlimited test stack size Backport #4953: Pull request #5953 closed by Kha
November 5, 2024 10:34 12s
November 5, 2024 10:34 12s
chore: CI: give Linux Debug unlimited test stack size (#5953) Update stage0 #2060: Commit 970dc6f pushed by github-merge-queue bot
November 5, 2024 10:34 27s master
master
November 5, 2024 10:34 27s
chore: CI: give Linux Debug unlimited test stack size (#5953) Actionlint #2599: Commit 970dc6f pushed by github-merge-queue bot
November 5, 2024 10:34 32s master
master
November 5, 2024 10:34 32s
chore: CI: give Linux Debug unlimited test stack size (#5953) Nix CI #20592: Commit 970dc6f pushed by github-merge-queue bot
November 5, 2024 10:34 6m 53s master
master
November 5, 2024 10:34 6m 53s
chore: CI: give Linux Debug unlimited test stack size (#5953) CI #23810: Commit 970dc6f pushed by github-merge-queue bot
November 5, 2024 10:34 23m 54s master
master
November 5, 2024 10:34 23m 54s
PR release PR release #14385: completed by kim-em
November 5, 2024 10:33 2s
November 5, 2024 10:33 2s
feat: simp local confluence testing Check for modules that should use `prelude` #5899: Pull request #5717 synchronize by kim-em
November 5, 2024 10:33 15s simplc
simplc
November 5, 2024 10:33 15s
feat: simp local confluence testing Check PR title for commit convention #11171: Pull request #5717 synchronize by kim-em
November 5, 2024 10:33 13s simplc
simplc
November 5, 2024 10:33 13s
feat: simp local confluence testing Check for copyright header #6054: Pull request #5717 synchronize by kim-em
November 5, 2024 10:33 31s simplc
simplc
November 5, 2024 10:33 31s
feat: simp local confluence testing Check for stage0 changes #6120: Pull request #5717 synchronize by kim-em
November 5, 2024 10:33 35s simplc
simplc
November 5, 2024 10:33 35s
feat: simp local confluence testing Nix CI #20591: Pull request #5717 synchronize by kim-em
November 5, 2024 10:33 10m 23s simplc
simplc
November 5, 2024 10:33 10m 23s
feat: simp local confluence testing CI #23809: Pull request #5717 synchronize by kim-em
November 5, 2024 10:33 16m 0s simplc
simplc
November 5, 2024 10:33 16m 0s
PR release PR release #14384: completed by Kha
November 5, 2024 10:33 2s
November 5, 2024 10:33 2s
feat: simp local confluence testing Check for copyright header #6053: Pull request #5717 synchronize by kim-em
November 5, 2024 10:33 31s simplc
simplc
November 5, 2024 10:33 31s
feat: simp local confluence testing Check for stage0 changes #6119: Pull request #5717 synchronize by kim-em
November 5, 2024 10:33 43s simplc
simplc
November 5, 2024 10:33 43s
feat: simp local confluence testing Check PR title for commit convention #11170: Pull request #5717 synchronize by kim-em
November 5, 2024 10:33 10s simplc
simplc
November 5, 2024 10:33 10s
feat: simp local confluence testing Check for modules that should use `prelude` #5898: Pull request #5717 synchronize by kim-em
November 5, 2024 10:33 12s simplc
simplc
November 5, 2024 10:33 12s
ProTip! You can narrow down the results and go further in time using created:<2024-11-05 or the other filters available.