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
CI CI #60568: Merge group checks requested
In progress
In progress
Actionlint Actionlint #10473: Merge group checks requested
In progress
In progress
Check PR title for commit convention Check PR title for commit convention #45935: Merge group checks requested
7s
7s
Check PR body for changelog convention Check PR body for changelog convention #45949: Merge group checks requested
5s
5s
Check awaiting-mathlib label Check awaiting-mathlib label #32589: Merge group checks requested
8s
8s
Check for stage0 changes Check for stage0 changes #35679: Merge group checks requested
In progress
In progress
Check for empty PR Check for empty PR #4935: Merge group checks requested
In progress
In progress
Check awaiting-manual label Check awaiting-manual label #24919: Merge group checks requested
8s
8s
PR release PR release #51891: completed by sgraf812
In progress
In progress
Grove Grove #23381: completed by sgraf812
40s
40s
Grove Grove #23380: completed by sgraf812
27s
27s
PR release PR release #51890: completed by sgraf812
In progress
In progress
Grove Grove #23379: completed by sgraf812
1s
1s
PR release PR release #51889: completed by sgraf812
In progress
In progress
feat: intrinsic verification syntax for do-notation loops and def contracts Label PR based on Comment #28819: Issue comment #14389 (comment) created by leanprover-radar
1s
1s
feat: intrinsic verification syntax for do-notation loops and def contracts Label PR based on Comment #28818: Issue comment #14389 (comment) created by sgraf812
1s
1s
fix: use pi_congr instead of forall_congr, deprecate the latter Label PR based on Comment #28817: Issue comment #14516 (comment) created by sgraf812
1s
1s
fix: give call-site vcgen [f] unfoldings the explicit-spec priority Check stdlib_flags.h modifications #11633: Pull request #14528 labeled by sgraf812
7s
7s
fix: give call-site vcgen [f] unfoldings the explicit-spec priority Check awaiting-manual label #24918: Pull request #14528 labeled by sgraf812
9s
9s
fix: give call-site vcgen [f] unfoldings the explicit-spec priority Restart by label #12273: Pull request #14528 labeled by sgraf812
1s
1s
fix: give call-site vcgen [f] unfoldings the explicit-spec priority Check awaiting-mathlib label #32588: Pull request #14528 labeled by sgraf812
8s
8s
fix: give call-site vcgen [f] unfoldings the explicit-spec priority Check PR body for changelog convention #45948: Pull request #14528 labeled by sgraf812
7s
7s
fix: give call-site vcgen [f] unfoldings the explicit-spec priority Adaptation PR #881: Pull request #14528 labeled by sgraf812
1s
1s
fix: give call-site vcgen [f] unfoldings the explicit-spec priority Backport #21228: Pull request #14528 labeled by sgraf812
1s
1s
fix: give call-site vcgen [f] unfoldings the explicit-spec priority CI #60567: Pull request #14528 opened by sgraf812
13m 45s sg/vcgen-callsite-unfold-prio
sg/vcgen-callsite-unfold-prio
13m 45s