Skip to content

Actions: thorimur/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
911 workflow runs
911 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
Label stale PRs Label stale PRs #376: Scheduled
9s master
master
9s
Grove Grove #174: completed by thorimur
1s
1s
PR release PR release #785: completed by thorimur
1s
1s
CI CI #790: Scheduled
13s master
master
13s
Label stale PRs Label stale PRs #375: Scheduled
6s master
master
6s
PR release PR release #784: completed by thorimur
2s
2s
Grove Grove #173: completed by thorimur
1s
1s
CI CI #789: Scheduled
16s master
master
16s
Label stale PRs Label stale PRs #374: Scheduled
7s master
master
7s
PR release PR release #783: completed by thorimur
1s
1s
Grove Grove #172: completed by thorimur
Skipped
Skipped
CI CI #788: Scheduled
13s master
master
13s
Label stale PRs Label stale PRs #373: Scheduled
6s master
master
6s
PR release PR release #782: completed by thorimur
1s
1s
Grove Grove #171: completed by thorimur
1s
1s
CI CI #787: Scheduled
12s master
master
12s
Label stale PRs Label stale PRs #372: Scheduled
8s master
master
8s
Grove Grove #170: completed by thorimur
1s
1s
PR release PR release #781: completed by thorimur
1s
1s
CI CI #786: Scheduled
15s master
master
15s
Label stale PRs Label stale PRs #371: Scheduled
9s master
master
9s
PR release PR release #780: completed by thorimur
1s
1s
Grove Grove #169: completed by thorimur
1s
1s
CI CI #785: Scheduled
15s master
master
15s
Label stale PRs Label stale PRs #370: Scheduled
7s master
master
7s