Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: ensure that decide (xs = #[]) gets compiled to efficient code Check PR title for commit convention #35036: Pull request #11945 edited by Rob23oba
6s Rob23oba:array-empty-deceq-csimp
Rob23oba:array-empty-deceq-csimp
6s
fix: ensure that decide (xs = #[]) gets compiled to efficient code Check PR body for changelog convention #31037: Pull request #11945 edited by Rob23oba
10s Rob23oba:array-empty-deceq-csimp
Rob23oba:array-empty-deceq-csimp
10s
fix: ensure that decide (xs = #[]) gets compiled to efficient code Check PR title for commit convention #35035: Pull request #11945 edited by Rob23oba
9s Rob23oba:array-empty-deceq-csimp
Rob23oba:array-empty-deceq-csimp
9s
fix: ensure that decide (xs = #[]) gets compiled to efficient code Check PR body for changelog convention #31036: Pull request #11945 edited by Rob23oba
9s Rob23oba:array-empty-deceq-csimp
Rob23oba:array-empty-deceq-csimp
9s
Label PR based on Comment Label PR based on Comment #20486: created by Rob23oba
7s
7s
chore: shake: explain indirect uses as well Backport #16118: Pull request #11944 closed by Kha
8s
8s
chore: shake: explain indirect uses as well (#11944) CI #49598: Commit b4cf6b0 pushed by github-merge-queue bot
In progress master
master
In progress
chore: shake: explain indirect uses as well (#11944) Update stage0 #6856: Commit b4cf6b0 pushed by github-merge-queue bot
44s master
master
44s
Grove Grove #12032: completed by Kha
11s
11s
PR release PR release #40542: completed by Kha
1s
1s
fix: ensure that decide (xs = #[]) gets compiled to efficient code Check PR title for commit convention #35034: Pull request #11945 opened by Rob23oba
9s Rob23oba:array-empty-deceq-csimp
Rob23oba:array-empty-deceq-csimp
9s
fix: ensure that decide (xs = #[]) gets compiled to efficient code Check awaiting-mathlib label #19850: Pull request #11945 opened by Rob23oba
9s Rob23oba:array-empty-deceq-csimp
Rob23oba:array-empty-deceq-csimp
9s
fix: ensure that decide (xs = #[]) gets compiled to efficient code CI #49597: Pull request #11945 opened by Rob23oba
In progress Rob23oba:array-empty-deceq-csimp
Rob23oba:array-empty-deceq-csimp
In progress
fix: ensure that decide (xs = #[]) gets compiled to efficient code Check for copyright header #21824: Pull request #11945 opened by Rob23oba
44s Rob23oba:array-empty-deceq-csimp
Rob23oba:array-empty-deceq-csimp
44s
fix: ensure that decide (xs = #[]) gets compiled to efficient code Check stdlib_flags.h modifications #809: Pull request #11945 opened by Rob23oba
10s Rob23oba:array-empty-deceq-csimp
Rob23oba:array-empty-deceq-csimp
10s
fix: ensure that decide (xs = #[]) gets compiled to efficient code Check for modules that should use `prelude` #21669: Pull request #11945 opened by Rob23oba
12s Rob23oba:array-empty-deceq-csimp
Rob23oba:array-empty-deceq-csimp
12s
fix: ensure that decide (xs = #[]) gets compiled to efficient code Check PR body for changelog convention #31035: Pull request #11945 opened by Rob23oba
9s Rob23oba:array-empty-deceq-csimp
Rob23oba:array-empty-deceq-csimp
9s
fix: ensure that decide (xs = #[]) gets compiled to efficient code Check for stage0 changes #26747: Pull request #11945 opened by Rob23oba
1m 5s Rob23oba:array-empty-deceq-csimp
Rob23oba:array-empty-deceq-csimp
1m 5s
fix: ensure that decide (xs = #[]) gets compiled to efficient code Check awaiting-manual label #12180: Pull request #11945 opened by Rob23oba
10s Rob23oba:array-empty-deceq-csimp
Rob23oba:array-empty-deceq-csimp
10s
Grove Grove #12031: completed by luisacicolini
13s
13s
PR release PR release #40541: completed by luisacicolini
9m 57s
9m 57s
chore: revert "feat: abstract metavariables when generalizing match motives (#8099)" Label PR based on Comment #20485: Issue comment #11941 (comment) created by leanprover-community-bot
1s
1s
chore: revert "feat: abstract metavariables when generalizing match motives (#8099)" Restart by label #8695: Pull request #11941 labeled by leanprover-community-bot
1s
1s
chore: revert "feat: abstract metavariables when generalizing match motives (#8099)" Backport #16117: Pull request #11941 labeled by leanprover-community-bot
1s
1s
chore: revert "feat: abstract metavariables when generalizing match motives (#8099)" Check awaiting-mathlib label #19849: Pull request #11941 labeled by leanprover-community-bot
9s sg/revert-11696-2
sg/revert-11696-2
9s