Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
94,144 workflow run results
94,144 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

PR release PR release #14904: completed by github-merge-queue bot
November 13, 2024 23:58 2s
November 13, 2024 23:58 2s
PR release PR release #14903: completed by github-merge-queue bot
November 13, 2024 23:57 1s
November 13, 2024 23:57 1s
feat: lemmas about for loops over Array Backport #5149: Pull request #6055 closed by kim-em
November 13, 2024 23:57 9s
November 13, 2024 23:57 9s
feat: lemmas about for loops over Array (#6055) Update stage0 #2133: Commit 6313210 pushed by github-merge-queue bot
November 13, 2024 23:57 36s master
master
November 13, 2024 23:57 36s
feat: lemmas about for loops over Array (#6055) Nix CI #21083: Commit 6313210 pushed by github-merge-queue bot
November 13, 2024 23:57 15m 10s master
master
November 13, 2024 23:57 15m 10s
feat: lemmas about for loops over Array (#6055) CI #24313: Commit 6313210 pushed by github-merge-queue bot
November 13, 2024 23:57 26m 14s master
master
November 13, 2024 23:57 26m 14s
PR release PR release #14902: completed by kim-em
November 13, 2024 23:57 1s
November 13, 2024 23:57 1s
chore: upstream some NameMap functions Backport #5148: Pull request #6056 closed by kim-em
November 13, 2024 23:56 10s
November 13, 2024 23:56 10s
chore: upstream some NameMap functions (#6056) CI #24312: Commit 350b364 pushed by github-merge-queue bot
November 13, 2024 23:56 1m 11s master
master
November 13, 2024 23:56 1m 11s
chore: upstream some NameMap functions (#6056) Nix CI #21082: Commit 350b364 pushed by github-merge-queue bot
November 13, 2024 23:56 1m 11s master
master
November 13, 2024 23:56 1m 11s
chore: upstream some NameMap functions (#6056) Update stage0 #2132: Commit 350b364 pushed by github-merge-queue bot
November 13, 2024 23:56 39s master
master
November 13, 2024 23:56 39s
PR release PR release #14901: completed by kim-em
November 13, 2024 23:56 2s
November 13, 2024 23:56 2s
chore: remove >6 month old deprecations Backport #5147: Pull request #6057 closed by kim-em
November 13, 2024 23:47 9s
November 13, 2024 23:47 9s
chore: remove >6 month old deprecations (#6057) Nix CI #21081: Commit 1c30c76 pushed by github-merge-queue bot
November 13, 2024 23:47 9m 21s master
master
November 13, 2024 23:47 9m 21s
chore: remove >6 month old deprecations (#6057) CI #24311: Commit 1c30c76 pushed by github-merge-queue bot
November 13, 2024 23:47 10m 57s master
master
November 13, 2024 23:47 10m 57s
chore: remove >6 month old deprecations (#6057) Update stage0 #2131: Commit 1c30c76 pushed by github-merge-queue bot
November 13, 2024 23:47 35s master
master
November 13, 2024 23:47 35s
PR release PR release #14900: completed by kim-em
November 13, 2024 23:47 2s
November 13, 2024 23:47 2s
CI CI #24310: Merge group checks requested
November 13, 2024 23:24 33m 16s
November 13, 2024 23:24 33m 16s
Nix CI Nix CI #21080: Merge group checks requested
November 13, 2024 23:24 15m 22s
November 13, 2024 23:24 15m 22s
Actionlint Actionlint #2761: Merge group checks requested
November 13, 2024 23:24 34s
November 13, 2024 23:24 34s
Check for stage0 changes Check for stage0 changes #6538: Merge group checks requested
November 13, 2024 23:24 38s
November 13, 2024 23:24 38s
Check PR title for commit convention Check PR title for commit convention #11661: Merge group checks requested
November 13, 2024 23:24 10s
November 13, 2024 23:24 10s
Check PR body for changelog convention Check PR body for changelog convention #378: Merge group checks requested
November 13, 2024 23:24 10s
November 13, 2024 23:24 10s
CI CI #24309: Merge group checks requested
November 13, 2024 23:22 34m 5s
November 13, 2024 23:22 34m 5s
Nix CI Nix CI #21079: Merge group checks requested
November 13, 2024 23:22 14m 19s
November 13, 2024 23:22 14m 19s