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 #24147: completed by Rob23oba
24s
24s
PR release PR release #52657: completed by Rob23oba
8m 7s
8m 7s
fix: String.Pos.Raw.extract model/runtime mismatch CI #61328: Pull request #14717 synchronize by Rob23oba
18m 54s Rob23oba:string-extract-wrong
Rob23oba:string-extract-wrong
18m 54s
fix: String.Pos.Raw.extract model/runtime mismatch Check for modules that should use `prelude` #29248: Pull request #14717 synchronize by Rob23oba
13s Rob23oba:string-extract-wrong
Rob23oba:string-extract-wrong
13s
fix: String.Pos.Raw.extract model/runtime mismatch Check for copyright header #29404: Pull request #14717 synchronize by Rob23oba
1m 20s Rob23oba:string-extract-wrong
Rob23oba:string-extract-wrong
1m 20s
fix: String.Pos.Raw.extract model/runtime mismatch Check PR title for commit convention #46778: Pull request #14717 synchronize by Rob23oba
9s Rob23oba:string-extract-wrong
Rob23oba:string-extract-wrong
9s
fix: String.Pos.Raw.extract model/runtime mismatch Check for stage0 changes #36329: Pull request #14717 synchronize by Rob23oba
1m 23s Rob23oba:string-extract-wrong
Rob23oba:string-extract-wrong
1m 23s
fix: String.Pos.Raw.extract model/runtime mismatch Check for empty PR #5585: Pull request #14717 synchronize by Rob23oba
1m 22s Rob23oba:string-extract-wrong
Rob23oba:string-extract-wrong
1m 22s
fix: String.Pos.Raw.extract model/runtime mismatch Check awaiting-manual label #25821: Pull request #14717 synchronize by Rob23oba
5s
5s
fix: String.Pos.Raw.extract model/runtime mismatch Adaptation PR #1667: Pull request #14717 synchronize by Rob23oba
1s
1s
fix: String.Pos.Raw.extract model/runtime mismatch Check stdlib_flags.h modifications #12445: Pull request #14717 synchronize by Rob23oba
6s
6s
fix: String.Pos.Raw.extract model/runtime mismatch Check awaiting-mathlib label #33491: Pull request #14717 synchronize by Rob23oba
9s
9s
fix: String.Pos.Raw.extract model/runtime mismatch Check PR body for changelog convention #47107: Pull request #14717 synchronize by Rob23oba
7s
7s
fix: String.Pos.Raw.extract model/runtime mismatch Label PR based on Comment #29392: Issue comment #14717 (comment) created by leanprover-bot
1s
1s
fix: String.Pos.Raw.extract model/runtime mismatch Label PR based on Comment #29391: Issue comment #14717 (comment) created by mathlib-lean-pr-testing Bot
1s
1s
PR release PR release #52656: completed by Rob23oba
8m 36s
8m 36s
Grove Grove #24146: completed by Rob23oba
1s
1s
fix: String.Pos.Raw.extract model/runtime mismatch Adaptation PR #1666: Pull request #14717 ready_for_review by Rob23oba
1m 11s
1m 11s
fix: String.Pos.Raw.extract model/runtime mismatch Check PR body for changelog convention #47106: Pull request #14717 ready_for_review by Rob23oba
13s
13s
Label PR based on Comment Label PR based on Comment #29390: created by Rob23oba
8s
8s
fix: String.Pos.Raw.extract model/runtime mismatch Check for modules that should use `prelude` #29247: Pull request #14717 opened by Rob23oba
11s Rob23oba:string-extract-wrong
Rob23oba:string-extract-wrong
11s
fix: String.Pos.Raw.extract model/runtime mismatch Check for copyright header #29403: Pull request #14717 opened by Rob23oba
1m 25s Rob23oba:string-extract-wrong
Rob23oba:string-extract-wrong
1m 25s
fix: String.Pos.Raw.extract model/runtime mismatch Check PR title for commit convention #46777: Pull request #14717 opened by Rob23oba
10s Rob23oba:string-extract-wrong
Rob23oba:string-extract-wrong
10s
fix: String.Pos.Raw.extract model/runtime mismatch CI #61327: Pull request #14717 opened by Rob23oba
16m 40s Rob23oba:string-extract-wrong
Rob23oba:string-extract-wrong
16m 40s
fix: String.Pos.Raw.extract model/runtime mismatch Check for stage0 changes #36328: Pull request #14717 opened by Rob23oba
1m 34s Rob23oba:string-extract-wrong
Rob23oba:string-extract-wrong
1m 34s