Skip to content

Actions: thorimur/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
945 workflow runs
945 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
PR release PR release #794: completed by thorimur
1s
1s
Grove Grove #183: completed by thorimur
1s
1s
CI CI #799: Scheduled
25s master
master
25s
Label stale PRs Label stale PRs #384: Scheduled
12s master
master
12s
Grove Grove #182: completed by thorimur
1s
1s
PR release PR release #793: completed by thorimur
1s
1s
CI CI #798: Scheduled
23s master
master
23s
Label stale PRs Label stale PRs #383: Scheduled
15s master
master
15s
Grove Grove #181: completed by thorimur
1s
1s
PR release PR release #792: completed by thorimur
1s
1s
CI CI #797: Scheduled
21s master
master
21s
Label stale PRs Label stale PRs #382: Scheduled
14s master
master
14s
Grove Grove #180: completed by thorimur
1s
1s
PR release PR release #791: completed by thorimur
1s
1s
CI CI #796: Scheduled
27s master
master
27s
Label stale PRs Label stale PRs #381: Scheduled
9s master
master
9s
PR release PR release #790: completed by thorimur
1s
1s
Grove Grove #179: completed by thorimur
1s
1s
CI CI #795: Scheduled
14s master
master
14s
Label stale PRs Label stale PRs #380: Scheduled
6s master
master
6s
Grove Grove #178: completed by thorimur
1s
1s
PR release PR release #789: completed by thorimur
1s
1s
CI CI #794: Scheduled
15s master
master
15s
Label stale PRs Label stale PRs #379: Scheduled
9s master
master
9s
Grove Grove #177: completed by thorimur
1s
1s