Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
77,211 workflow runs
77,211 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI CI #21691: Scheduled
September 23, 2024 07:04 In progress master
master
September 23, 2024 07:04 In progress
PR release PR release #12238: completed by github-merge-queue bot
September 23, 2024 06:08 2s
September 23, 2024 06:08 2s
feat: theorems about List.toArray Backport #4233: Pull request #5403 closed by semorrison
September 23, 2024 05:46 12s
September 23, 2024 05:46 12s
feat: theorems about List.toArray (#5403) CI #21690: Commit e551a36 pushed by github-merge-queue bot
September 23, 2024 05:46 22m 8s master
master
September 23, 2024 05:46 22m 8s
feat: theorems about List.toArray (#5403) Update stage0 #1674: Commit e551a36 pushed by github-merge-queue bot
September 23, 2024 05:46 33s master
master
September 23, 2024 05:46 33s
feat: theorems about List.toArray (#5403) Nix CI #18521: Commit e551a36 pushed by github-merge-queue bot
September 23, 2024 05:46 19m 36s master
master
September 23, 2024 05:46 19m 36s
PR release PR release #12237: completed by semorrison
September 23, 2024 05:46 2s
September 23, 2024 05:46 2s
feat: theorems about List.toArray Backport #4232: Pull request #5403 labeled by leanprover-community-bot
September 23, 2024 05:40 2s
September 23, 2024 05:40 2s
feat: theorems about List.toArray Restart by label #1247: Pull request #5403 labeled by leanprover-community-bot
September 23, 2024 05:40 2s
September 23, 2024 05:40 2s
feat: theorems about List.toArray Restart by label #1246: Pull request #5403 unlabeled by leanprover-community-bot
September 23, 2024 05:40 2s
September 23, 2024 05:40 2s
feat: theorems about List.toArray Restart by label #1245: Pull request #5403 unlabeled by leanprover-community-bot
September 23, 2024 05:40 2s
September 23, 2024 05:40 2s
Actionlint Actionlint #2133: Merge group checks requested
September 23, 2024 05:24 2m 50s
September 23, 2024 05:24 2m 50s
Check PR title for commit convention Check PR title for commit convention #9099: Merge group checks requested
September 23, 2024 05:24 9s
September 23, 2024 05:24 9s
Check for stage0 changes Check for stage0 changes #4432: Merge group checks requested
September 23, 2024 05:24 48s
September 23, 2024 05:24 48s
Nix CI Nix CI #18520: Merge group checks requested
September 23, 2024 05:24 19m 26s
September 23, 2024 05:24 19m 26s
CI CI #21689: Merge group checks requested
September 23, 2024 05:24 21m 58s
September 23, 2024 05:24 21m 58s
PR release PR release #12236: completed by github-merge-queue bot
September 23, 2024 05:22 2s
September 23, 2024 05:22 2s
PR release PR release #12235: completed by semorrison
September 23, 2024 05:16 2m 23s
September 23, 2024 05:16 2m 23s
feat: theorems about List.toArray CI #21688: Pull request #5403 synchronize by semorrison
September 23, 2024 05:04 11m 31s toArray_theorems
toArray_theorems
September 23, 2024 05:04 11m 31s
feat: theorems about List.toArray Check for stage0 changes #4431: Pull request #5403 synchronize by semorrison
September 23, 2024 05:04 52s toArray_theorems
toArray_theorems
September 23, 2024 05:04 52s
feat: theorems about List.toArray Check for modules that should use `prelude` #4616: Pull request #5403 synchronize by semorrison
September 23, 2024 05:04 12s toArray_theorems
toArray_theorems
September 23, 2024 05:04 12s
feat: theorems about List.toArray Check for copyright header #4771: Pull request #5403 synchronize by semorrison
September 23, 2024 05:04 33s toArray_theorems
toArray_theorems
September 23, 2024 05:04 33s
feat: theorems about List.toArray Check PR title for commit convention #9098: Pull request #5403 synchronize by semorrison
September 23, 2024 05:04 14s toArray_theorems
toArray_theorems
September 23, 2024 05:04 14s
feat: theorems about List.toArray Nix CI #18519: Pull request #5403 synchronize by semorrison
September 23, 2024 05:04 19m 14s toArray_theorems
toArray_theorems
September 23, 2024 05:04 19m 14s
feat: BitVec analogues of Nat.{mul_two, two_mul, mul_succ, succ_mul} Backport #4231: Pull request #5410 closed by semorrison
September 23, 2024 05:00 9s
September 23, 2024 05:00 9s