Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
253,862 workflow runs
253,862 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: unbox inductives in the compiler Label PR based on Comment #20553: Issue comment #11873 (comment) created by leanprover-radar
1s
1s
feat: unbox inductives in the compiler Label PR based on Comment #20552: Issue comment #11873 (comment) created by Rob23oba
1s
1s
feat: unbox inductives in the compiler CI #49709: Pull request #11873 synchronize by Rob23oba
In progress Rob23oba:compiler-unbox-test
Rob23oba:compiler-unbox-test
In progress
feat: unbox inductives in the compiler Check awaiting-manual label #12295: Pull request #11873 synchronize by Rob23oba
8s Rob23oba:compiler-unbox-test
Rob23oba:compiler-unbox-test
8s
feat: unbox inductives in the compiler Check PR title for commit convention #35148: Pull request #11873 synchronize by Rob23oba
8s Rob23oba:compiler-unbox-test
Rob23oba:compiler-unbox-test
8s
feat: unbox inductives in the compiler Check PR body for changelog convention #31174: Pull request #11873 synchronize by Rob23oba
6s Rob23oba:compiler-unbox-test
Rob23oba:compiler-unbox-test
6s
feat: unbox inductives in the compiler Check awaiting-mathlib label #19965: Pull request #11873 synchronize by Rob23oba
6s Rob23oba:compiler-unbox-test
Rob23oba:compiler-unbox-test
6s
feat: unbox inductives in the compiler Check for stage0 changes #26838: Pull request #11873 synchronize by Rob23oba
1m 14s Rob23oba:compiler-unbox-test
Rob23oba:compiler-unbox-test
1m 14s
feat: unbox inductives in the compiler Check for copyright header #21894: Pull request #11873 synchronize by Rob23oba
48s Rob23oba:compiler-unbox-test
Rob23oba:compiler-unbox-test
48s
feat: unbox inductives in the compiler Check for modules that should use `prelude` #21739: Pull request #11873 synchronize by Rob23oba
11s Rob23oba:compiler-unbox-test
Rob23oba:compiler-unbox-test
11s
feat: unbox inductives in the compiler Check stdlib_flags.h modifications #903: Pull request #11873 synchronize by Rob23oba
9s Rob23oba:compiler-unbox-test
Rob23oba:compiler-unbox-test
9s
PR release PR release #40660: completed by Rob23oba
1s
1s
Grove Grove #12150: completed by Rob23oba
1s
1s
Grove Grove #12149: completed by github-merge-queue bot
2m 40s
2m 40s
PR release PR release #40659: completed by github-merge-queue bot
Skipped
Skipped
test: add leanchecker benchmark Backport #16168: Pull request #11959 closed by Kha
7s
7s
test: add leanchecker benchmark (#11959) CI #49708: Commit eaf8cf1 pushed by github-merge-queue bot
58m 38s master
master
58m 38s
test: add leanchecker benchmark (#11959) Update stage0 #6875: Commit eaf8cf1 pushed by github-merge-queue bot
51s master
master
51s
PR release PR release #40658: completed by Kha
Skipped
Skipped
Grove Grove #12148: completed by Kha
13s
13s
Actionlint Actionlint #8129: Merge group checks requested
51s
51s
Check PR title for commit convention Check PR title for commit convention #35147: Merge group checks requested
2m 2s
2m 2s
CI CI #49707: Merge group checks requested
19m 56s
19m 56s
Check for stage0 changes Check for stage0 changes #26837: Merge group checks requested
1m 12s
1m 12s
Check awaiting-mathlib label Check awaiting-mathlib label #19964: Merge group checks requested
7s
7s