Skip to content

Actions: mhuisi/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,523 workflow runs
1,523 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 #1012: completed by mhuisi
1s
1s
Grove Grove #219: completed by mhuisi
1s
1s
CI CI #1012: Scheduled
19s master
master
19s
Label stale PRs Label stale PRs #925: Scheduled
12s master
master
12s
PR release PR release #1011: completed by mhuisi
Skipped
Skipped
Grove Grove #218: completed by mhuisi
1s
1s
CI CI #1011: Scheduled
23s master
master
23s
Label stale PRs Label stale PRs #924: Scheduled
15s master
master
15s
Grove Grove #217: completed by mhuisi
1s
1s
PR release PR release #1010: completed by mhuisi
2s
2s
CI CI #1010: Scheduled
19s master
master
19s
Label stale PRs Label stale PRs #923: Scheduled
10s master
master
10s
Grove Grove #216: completed by mhuisi
1s
1s
PR release PR release #1009: completed by mhuisi
1s
1s
CI CI #1009: Scheduled
22s master
master
22s
Label stale PRs Label stale PRs #922: Scheduled
9s master
master
9s
PR release PR release #1008: completed by mhuisi
1s
1s
Grove Grove #215: completed by mhuisi
1s
1s
CI CI #1008: Scheduled
15s master
master
15s
Label stale PRs Label stale PRs #921: Scheduled
6s master
master
6s
Grove Grove #214: completed by mhuisi
1s
1s
PR release PR release #1007: completed by mhuisi
1s
1s
CI CI #1007: Scheduled
18s master
master
18s
Label stale PRs Label stale PRs #920: Scheduled
8s master
master
8s
PR release PR release #1006: completed by mhuisi
Skipped
Skipped