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
PR release PR release #54005: completed by Garmelon
In progress
In progress
Grove Grove #25493: completed by Garmelon
In progress
In progress
PR release PR release #54004: completed by Vtec234
In progress
In progress
Grove Grove #25492: completed by Vtec234
6s
6s
chore: tweak adaptation PR "waiting for CI" message Label PR based on Comment #30372: Issue comment #14999 (comment) created by downstream-lean4 Bot
8s
8s
chore: tweak adaptation PR "waiting for CI" message Restart by label #12879: Pull request #14999 labeled by Garmelon
2s
2s
chore: tweak adaptation PR "waiting for CI" message Check awaiting-mathlib label #35023: Pull request #14999 labeled by Garmelon
10s
10s
chore: tweak adaptation PR "waiting for CI" message Backport #22144: Pull request #14999 labeled by Garmelon
12s
12s
chore: tweak adaptation PR "waiting for CI" message Check stdlib_flags.h modifications #13769: Pull request #14999 labeled by Garmelon
9s
9s
chore: tweak adaptation PR "waiting for CI" message Check awaiting-manual label #27353: Pull request #14999 labeled by Garmelon
9s
9s
chore: tweak adaptation PR "waiting for CI" message Adaptation PR #3101: Pull request #14999 labeled by Garmelon
51s
51s
chore: tweak adaptation PR "waiting for CI" message Check PR body for changelog convention #49100: Pull request #14999 labeled by Garmelon
6s
6s
chore: tweak adaptation PR "waiting for CI" message CI #62643: Pull request #14999 opened by Garmelon
15m 4s joscha/ci-green-msg
joscha/ci-green-msg
15m 4s
chore: tweak adaptation PR "waiting for CI" message Check for modules that should use `prelude` #30128: Pull request #14999 opened by Garmelon
14s joscha/ci-green-msg
joscha/ci-green-msg
14s
chore: tweak adaptation PR "waiting for CI" message Check for stage0 changes #37417: Pull request #14999 opened by Garmelon
49s joscha/ci-green-msg
joscha/ci-green-msg
49s
chore: tweak adaptation PR "waiting for CI" message Check PR title for commit convention #48235: Pull request #14999 opened by Garmelon
6s joscha/ci-green-msg
joscha/ci-green-msg
6s
chore: tweak adaptation PR "waiting for CI" message Actionlint #10845: Pull request #14999 opened by Garmelon
1m 2s joscha/ci-green-msg
joscha/ci-green-msg
1m 2s
chore: tweak adaptation PR "waiting for CI" message Check for copyright header #30284: Pull request #14999 opened by Garmelon
44s joscha/ci-green-msg
joscha/ci-green-msg
44s
chore: tweak adaptation PR "waiting for CI" message Check for empty PR #6673: Pull request #14999 opened by Garmelon
52s joscha/ci-green-msg
joscha/ci-green-msg
52s
chore: tweak adaptation PR "waiting for CI" message Check PR body for changelog convention #49099: Pull request #14999 opened by Garmelon
6s
6s
chore: tweak adaptation PR "waiting for CI" message Check stdlib_flags.h modifications #13768: Pull request #14999 opened by Garmelon
9s
9s
chore: tweak adaptation PR "waiting for CI" message Check awaiting-manual label #27352: Pull request #14999 opened by Garmelon
9s
9s
chore: tweak adaptation PR "waiting for CI" message Check awaiting-mathlib label #35022: Pull request #14999 opened by Garmelon
8s
8s
Grove Grove #25491: completed by Vtec234
11s
11s
PR release PR release #54003: completed by Vtec234
9m 30s
9m 30s