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
Check for stage0 changes Check for stage0 changes #34921: Merge group checks requested
Queued
Queued
Actionlint Actionlint #10269: Merge group checks requested
Queued
Queued
Check awaiting-mathlib label Check awaiting-mathlib label #31410: Merge group checks requested
Queued
Queued
Check for empty PR Check for empty PR #4177: Merge group checks requested
Queued
Queued
Check PR body for changelog convention Check PR body for changelog convention #44608: Merge group checks requested
Queued
Queued
CI CI #59634: Merge group checks requested
Queued
Queued
Check PR title for commit convention Check PR title for commit convention #45001: Merge group checks requested
Queued
Queued
Check awaiting-manual label Check awaiting-manual label #23740: Merge group checks requested
Queued
Queued
CI CI #59633: Merge group checks requested
Queued
Queued
Check PR title for commit convention Check PR title for commit convention #45000: Merge group checks requested
Queued
Queued
Check for empty PR Check for empty PR #4176: Merge group checks requested
Queued
Queued
Actionlint Actionlint #10268: Merge group checks requested
Queued
Queued
Check awaiting-manual label Check awaiting-manual label #23739: Merge group checks requested
Queued
Queued
Check PR body for changelog convention Check PR body for changelog convention #44607: Merge group checks requested
Queued
Queued
Check for stage0 changes Check for stage0 changes #34920: Merge group checks requested
Queued
Queued
Check awaiting-mathlib label Check awaiting-mathlib label #31409: Merge group checks requested
Queued
Queued
chore: change UnusedSimpArgs hint Check PR body for changelog convention #44606: Pull request #14313 ready_for_review by wkrozowski
Queued
Queued
chore: change UnusedSimpArgs hint Adaptation PR #354: Pull request #14313 ready_for_review by wkrozowski
1m 41s
1m 41s
chore: CI: re-enable test header snapshots Label PR based on Comment #27947: Issue comment #14324 (comment) created by leanprover-bot
1s
1s
Grove Grove #22425: completed by Kha
33s
33s
PR release PR release #50935: completed by Kha
7m 53s
7m 53s
CI CI #59632: Merge group checks requested
In progress
In progress
Actionlint Actionlint #10267: Merge group checks requested
1m 5s
1m 5s
Check PR title for commit convention Check PR title for commit convention #44999: Merge group checks requested
6s
6s
Check for empty PR Check for empty PR #4175: Merge group checks requested
1m 16s
1m 16s