Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
chore: repeat some benchmarks to avoid outliers Check PR title for commit convention #45082: Pull request #14342 synchronize by Garmelon
7s joscha/outliers
joscha/outliers
7s
chore: repeat some benchmarks to avoid outliers Check for copyright header #28300: Pull request #14342 synchronize by Garmelon
1m 12s joscha/outliers
joscha/outliers
1m 12s
chore: repeat some benchmarks to avoid outliers CI #59722: Pull request #14342 synchronize by Garmelon
In progress joscha/outliers
joscha/outliers
In progress
chore: repeat some benchmarks to avoid outliers Check for stage0 changes #34991: Pull request #14342 synchronize by Garmelon
1m 28s joscha/outliers
joscha/outliers
1m 28s
chore: repeat some benchmarks to avoid outliers Check for modules that should use `prelude` #28145: Pull request #14342 synchronize by Garmelon
11s joscha/outliers
joscha/outliers
11s
chore: repeat some benchmarks to avoid outliers Check for empty PR #4247: Pull request #14342 synchronize by Garmelon
1m 24s joscha/outliers
joscha/outliers
1m 24s
chore: repeat some benchmarks to avoid outliers Check PR body for changelog convention #44736: Pull request #14342 synchronize by Garmelon
6s
6s
chore: repeat some benchmarks to avoid outliers Check awaiting-mathlib label #31541: Pull request #14342 synchronize by Garmelon
9s
9s
chore: repeat some benchmarks to avoid outliers Check stdlib_flags.h modifications #10730: Pull request #14342 synchronize by Garmelon
7s
7s
chore: repeat some benchmarks to avoid outliers Check awaiting-manual label #23871: Pull request #14342 synchronize by Garmelon
5s
5s
experiment: consolidate all TC opts Restart by label #11945: Pull request #14339 labeled by mathlib-lean-pr-testing Bot
10s
10s
experiment: consolidate all TC opts Check stdlib_flags.h modifications #10729: Pull request #14339 unlabeled by mathlib-lean-pr-testing Bot
9s
9s
experiment: consolidate all TC opts Backport #20801: Pull request #14339 labeled by mathlib-lean-pr-testing Bot
11s
11s
experiment: consolidate all TC opts Restart by label #11944: Pull request #14339 unlabeled by mathlib-lean-pr-testing Bot
1s
1s
experiment: consolidate all TC opts Check awaiting-mathlib label #31540: Pull request #14339 labeled by mathlib-lean-pr-testing Bot
6s
6s
experiment: consolidate all TC opts Check awaiting-mathlib label #31539: Pull request #14339 unlabeled by mathlib-lean-pr-testing Bot
9s
9s
experiment: consolidate all TC opts Check awaiting-manual label #23870: Pull request #14339 unlabeled by mathlib-lean-pr-testing Bot
8s
8s
experiment: consolidate all TC opts Adaptation PR #410: Pull request #14339 labeled by mathlib-lean-pr-testing Bot
7s
7s
experiment: consolidate all TC opts Check awaiting-manual label #23869: Pull request #14339 labeled by mathlib-lean-pr-testing Bot
6s
6s
experiment: consolidate all TC opts Check PR body for changelog convention #44735: Pull request #14339 labeled by mathlib-lean-pr-testing Bot
9s
9s
experiment: consolidate all TC opts Check stdlib_flags.h modifications #10728: Pull request #14339 labeled by mathlib-lean-pr-testing Bot
8s
8s
chore: remove Ne.elim CI #59721: Pull request #14345 opened by plp127
In progress plp127:aliu/ne-elim
plp127:aliu/ne-elim
In progress
chore: remove Ne.elim Check for modules that should use `prelude` #28144: Pull request #14345 opened by plp127
12s plp127:aliu/ne-elim
plp127:aliu/ne-elim
12s
chore: remove Ne.elim Check for stage0 changes #34990: Pull request #14345 opened by plp127
1m 23s plp127:aliu/ne-elim
plp127:aliu/ne-elim
1m 23s
chore: remove Ne.elim Check for copyright header #28299: Pull request #14345 opened by plp127
1m 14s plp127:aliu/ne-elim
plp127:aliu/ne-elim
1m 14s