Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
104,175 workflow runs
104,175 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: specialize fold loops Check for copyright header #6836: Pull request #6293 opened by fgdorais
December 3, 2024 00:56 36s fgdorais:patch-1
fgdorais:patch-1
December 3, 2024 00:56 36s
chore: specialize fold loops Check for modules that should use `prelude` #6681: Pull request #6293 opened by fgdorais
December 3, 2024 00:56 14s fgdorais:patch-1
fgdorais:patch-1
December 3, 2024 00:56 14s
chore: specialize fold loops Check for stage0 changes #7200: Pull request #6293 opened by fgdorais
December 3, 2024 00:56 In progress fgdorais:patch-1
fgdorais:patch-1
December 3, 2024 00:56 In progress
chore: specialize fold loops Nix CI #21912: Pull request #6293 opened by fgdorais
December 3, 2024 00:56 In progress fgdorais:patch-1
fgdorais:patch-1
December 3, 2024 00:56 In progress
chore: specialize fold loops CI #25166: Pull request #6293 opened by fgdorais
December 3, 2024 00:56 In progress fgdorais:patch-1
fgdorais:patch-1
December 3, 2024 00:56 In progress
chore: specialize fold loops Check PR body for changelog convention #1577: Pull request #6293 opened by fgdorais
December 3, 2024 00:56 13s fgdorais:patch-1
fgdorais:patch-1
December 3, 2024 00:56 13s
chore: specialize fold loops Check PR title for commit convention #12514: Pull request #6293 opened by fgdorais
December 3, 2024 00:56 11s fgdorais:patch-1
fgdorais:patch-1
December 3, 2024 00:56 11s
feat: remove @[simp] from Fin.succ_zero_eq_one Backport #5628: Pull request #6292 labeled by leanprover-community-bot
December 3, 2024 00:56 2s
December 3, 2024 00:56 2s
feat: remove @[simp] from Fin.succ_zero_eq_one Restart by label #2103: Pull request #6292 labeled by leanprover-community-bot
December 3, 2024 00:56 3s
December 3, 2024 00:56 3s
feat: remove @[simp] from Fin.succ_zero_eq_one Label PR based on Comment #8540: Issue comment #6292 (comment) created by leanprover-community-bot
December 3, 2024 00:56 2s
December 3, 2024 00:56 2s
feat: remove @[simp] from Fin.succ_zero_eq_one Check PR body for changelog convention #1576: Pull request #6292 labeled by leanprover-community-bot
December 3, 2024 00:56 10s fin_succ_zero_eq_one
fin_succ_zero_eq_one
December 3, 2024 00:56 10s
PR release PR release #15775: completed by github-merge-queue bot
December 3, 2024 00:25 2s
December 3, 2024 00:25 2s
chore: robustify for byAsSorry Backport #5627: Pull request #6287 closed by kim-em
December 3, 2024 00:25 8s
December 3, 2024 00:25 8s
chore: robustify for byAsSorry (#6287) Nix CI #21911: Commit 9044043 pushed by github-merge-queue bot
December 3, 2024 00:25 25m 49s master
master
December 3, 2024 00:25 25m 49s
chore: robustify for byAsSorry (#6287) Update stage0 #2300: Commit 9044043 pushed by github-merge-queue bot
December 3, 2024 00:25 37s master
master
December 3, 2024 00:25 37s
chore: robustify for byAsSorry (#6287) CI #25165: Commit 9044043 pushed by github-merge-queue bot
December 3, 2024 00:25 In progress master
master
December 3, 2024 00:25 In progress
PR release PR release #15774: completed by kim-em
December 3, 2024 00:25 2s
December 3, 2024 00:25 2s
PR release PR release #15773: completed by kim-em
December 3, 2024 00:16 5m 25s
December 3, 2024 00:16 5m 25s
fix: lake: properly prepend job log in ensureJob Backport #5626: Pull request #6291 closed by tydeu
December 3, 2024 00:07 9s
December 3, 2024 00:07 9s
fix: lake: properly prepend job log in ensureJob (#6291) Nix CI #21910: Commit f6bc6b2 pushed by github-merge-queue bot
December 3, 2024 00:07 18m 19s master
master
December 3, 2024 00:07 18m 19s
fix: lake: properly prepend job log in ensureJob (#6291) Update stage0 #2299: Commit f6bc6b2 pushed by github-merge-queue bot
December 3, 2024 00:07 33s master
master
December 3, 2024 00:07 33s
fix: lake: properly prepend job log in ensureJob (#6291) CI #25164: Commit f6bc6b2 pushed by github-merge-queue bot
December 3, 2024 00:07 18m 19s master
master
December 3, 2024 00:07 18m 19s
PR release PR release #15772: completed by tydeu
December 3, 2024 00:07 1s
December 3, 2024 00:07 1s
feat: remove @[simp] from Fin.succ_zero_eq_one Check for stage0 changes #7199: Pull request #6292 opened by kim-em
December 3, 2024 00:01 50s fin_succ_zero_eq_one
fin_succ_zero_eq_one
December 3, 2024 00:01 50s
feat: remove @[simp] from Fin.succ_zero_eq_one Check PR title for commit convention #12513: Pull request #6292 opened by kim-em
December 3, 2024 00:01 14s fin_succ_zero_eq_one
fin_succ_zero_eq_one
December 3, 2024 00:01 14s