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
test: add vcgen benchmark over the verina corpus Label PR based on Comment #28042: Issue comment #14340 (comment) created by leanprover-radar
1s
1s
chore: repeat some benchmarks to avoid outliers Check stdlib_flags.h modifications #10723: Pull request #14342 labeled by leanprover-bot
6s
6s
chore: repeat some benchmarks to avoid outliers Check PR body for changelog convention #44728: Pull request #14342 labeled by leanprover-bot
7s
7s
chore: repeat some benchmarks to avoid outliers Check awaiting-manual label #23863: Pull request #14342 labeled by leanprover-bot
6s
6s
chore: repeat some benchmarks to avoid outliers Restart by label #11942: Pull request #14342 labeled by leanprover-bot
1s
1s
chore: repeat some benchmarks to avoid outliers Backport #20798: Pull request #14342 labeled by leanprover-bot
1s
1s
chore: repeat some benchmarks to avoid outliers Adaptation PR #406: Pull request #14342 labeled by leanprover-bot
10s
10s
chore: repeat some benchmarks to avoid outliers Check awaiting-mathlib label #31533: Pull request #14342 labeled by leanprover-bot
22s
22s
test: add vcgen benchmark over the verina corpus Label PR based on Comment #28041: Issue comment #14340 (comment) created by sgraf812
8s
8s
PR release PR release #51022: completed by Kha
In progress
In progress
Grove Grove #22512: completed by Kha
Skipped
Skipped
chore: repeat some benchmarks to avoid outliers Label PR based on Comment #28040: Issue comment #14342 (comment) created by leanprover-bot
1s
1s
Grove Grove #22511: completed by Kha
9s
9s
PR release PR release #51021: completed by Kha
8m 12s
8m 12s
PR release PR release #51020: completed by Garmelon
8m 20s
8m 20s
Grove Grove #22510: completed by Garmelon
1s
1s
fix: avoid recursive object compaction Label PR based on Comment #28039: Issue comment #14165 (comment) created by Kha
8s
8s
fix: run shell main on a thread with the configured stack size CI #59716: Pull request #14343 opened by Kha
In progress shell-thread-stack
shell-thread-stack
In progress
fix: run shell main on a thread with the configured stack size Check for copyright header #28296: Pull request #14343 opened by Kha
1m 12s shell-thread-stack
shell-thread-stack
1m 12s
fix: run shell main on a thread with the configured stack size Check for empty PR #4242: Pull request #14343 opened by Kha
1m 10s shell-thread-stack
shell-thread-stack
1m 10s
fix: run shell main on a thread with the configured stack size Check PR title for commit convention #45077: Pull request #14343 opened by Kha
5s shell-thread-stack
shell-thread-stack
5s
fix: run shell main on a thread with the configured stack size Check for modules that should use `prelude` #28141: Pull request #14343 opened by Kha
13s shell-thread-stack
shell-thread-stack
13s
fix: run shell main on a thread with the configured stack size Check for stage0 changes #34986: Pull request #14343 opened by Kha
1m 4s shell-thread-stack
shell-thread-stack
1m 4s
fix: run shell main on a thread with the configured stack size Check stdlib_flags.h modifications #10722: Pull request #14343 labeled by Kha
7s
7s
fix: run shell main on a thread with the configured stack size Check awaiting-mathlib label #31532: Pull request #14343 opened by Kha
6s
6s