Skip to content

Actions: cauli/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,807 workflow runs
1,807 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 #263: completed by cauli
11s
11s
PR release PR release #263: completed by cauli
2s
2s
CI CI #262: Scheduled
15s master
master
15s
Label stale PRs Label stale PRs #84: Scheduled
9s master
master
9s
Grove Grove #262: completed by cauli
1s
1s
PR release PR release #262: completed by cauli
1s
1s
CI CI #261: Scheduled
55s master
master
55s
Label stale PRs Label stale PRs #83: Scheduled
11s master
master
11s
Grove Grove #261: completed by cauli
10s
10s
PR release PR release #261: completed by cauli
2s
2s
CI CI #260: Scheduled
14s master
master
14s
Label stale PRs Label stale PRs #82: Scheduled
13s master
master
13s
Grove Grove #260: completed by cauli
2s
2s
PR release PR release #260: completed by cauli
1s
1s
CI CI #259: Scheduled
17s master
master
17s
Label stale PRs Label stale PRs #81: Scheduled
21s master
master
21s
PR release PR release #259: completed by cauli
1s
1s
Grove Grove #259: completed by cauli
2s
2s
CI CI #258: Scheduled
19s master
master
19s
Label stale PRs Label stale PRs #80: Scheduled
9s master
master
9s
Grove Grove #258: completed by cauli
1s
1s
PR release PR release #258: completed by cauli
1s
1s
CI CI #257: Scheduled
50s master
master
50s
Label stale PRs Label stale PRs #79: Scheduled
9s master
master
9s
Grove Grove #257: completed by cauli
8s
8s