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
Grove Grove #24872: completed by Rob23oba
1s
1s
PR release PR release #53382: completed by Rob23oba
In progress
In progress
feat: special case single-child nodes in DiscrTree Label PR based on Comment #29809: Issue comment #14805 (comment) created by leanprover-radar
1s
1s
feat: special case single-child nodes in DiscrTree Label PR based on Comment #29808: Issue comment #14805 (comment) created by robsimmons
1s
1s
feat: special case single-child nodes in DiscrTree Check PR title for commit convention #47591: Pull request #14805 edited by robsimmons
8s smaller-discr-tree
smaller-discr-tree
8s
feat: special case single-child nodes in DiscrTree Check PR body for changelog convention #48177: Pull request #14805 edited by robsimmons
12s
12s
feat: special case single-child nodes in DiscrTree CI #62037: Pull request #14805 synchronize by robsimmons
In progress smaller-discr-tree
smaller-discr-tree
In progress
feat: special case single-child nodes in DiscrTree Check for copyright header #29894: Pull request #14805 synchronize by robsimmons
1m 36s smaller-discr-tree
smaller-discr-tree
1m 36s
feat: special case single-child nodes in DiscrTree Check for empty PR #6182: Pull request #14805 synchronize by robsimmons
1m 15s smaller-discr-tree
smaller-discr-tree
1m 15s
feat: special case single-child nodes in DiscrTree Check PR title for commit convention #47590: Pull request #14805 synchronize by robsimmons
9s smaller-discr-tree
smaller-discr-tree
9s
feat: special case single-child nodes in DiscrTree Check for stage0 changes #36926: Pull request #14805 synchronize by robsimmons
1m 26s smaller-discr-tree
smaller-discr-tree
1m 26s
feat: special case single-child nodes in DiscrTree Check for modules that should use `prelude` #29738: Pull request #14805 synchronize by robsimmons
15s smaller-discr-tree
smaller-discr-tree
15s
feat: special case single-child nodes in DiscrTree Adaptation PR #2412: Pull request #14805 synchronize by robsimmons
32s
32s
feat: special case single-child nodes in DiscrTree Check PR body for changelog convention #48176: Pull request #14805 synchronize by robsimmons
8s
8s
feat: special case single-child nodes in DiscrTree Check awaiting-manual label #26624: Pull request #14805 synchronize by robsimmons
8s
8s
feat: special case single-child nodes in DiscrTree Check stdlib_flags.h modifications #13141: Pull request #14805 synchronize by robsimmons
9s
9s
feat: special case single-child nodes in DiscrTree Check awaiting-mathlib label #34294: Pull request #14805 synchronize by robsimmons
7s
7s
Grove Grove #24871: completed by sgraf812
1s
1s
PR release PR release #53381: completed by sgraf812
39s
39s
refactor: rework the vcgen frame procedure API around a commit callback CI #62036: Pull request #14706 synchronize by sgraf812
In progress sg/vcgen-seplogic-next
sg/vcgen-seplogic-next
In progress
refactor: rework the vcgen frame procedure API around a commit callback Check PR title for commit convention #47589: Pull request #14706 synchronize by sgraf812
9s sg/vcgen-seplogic-next
sg/vcgen-seplogic-next
9s
refactor: rework the vcgen frame procedure API around a commit callback Check for stage0 changes #36925: Pull request #14706 synchronize by sgraf812
2m 13s sg/vcgen-seplogic-next
sg/vcgen-seplogic-next
2m 13s
refactor: rework the vcgen frame procedure API around a commit callback Check for empty PR #6181: Pull request #14706 synchronize by sgraf812
2m 49s sg/vcgen-seplogic-next
sg/vcgen-seplogic-next
2m 49s
refactor: rework the vcgen frame procedure API around a commit callback Check for modules that should use `prelude` #29737: Pull request #14706 synchronize by sgraf812
15s sg/vcgen-seplogic-next
sg/vcgen-seplogic-next
15s
refactor: rework the vcgen frame procedure API around a commit callback Check for copyright header #29893: Pull request #14706 synchronize by sgraf812
1m 42s sg/vcgen-seplogic-next
sg/vcgen-seplogic-next
1m 42s