Skip to content

Actions: mhuisi/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,511 workflow runs
1,511 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 #208: completed by mhuisi
1s
1s
PR release PR release #1001: completed by mhuisi
1s
1s
CI CI #1001: Scheduled
16s master
master
16s
Label stale PRs Label stale PRs #914: Scheduled
9s master
master
9s
Grove Grove #207: completed by mhuisi
1s
1s
PR release PR release #1000: completed by mhuisi
1s
1s
CI CI #1000: Scheduled
17s master
master
17s
Label stale PRs Label stale PRs #913: Scheduled
8s master
master
8s
PR release PR release #999: completed by mhuisi
1s
1s
Grove Grove #206: completed by mhuisi
1s
1s
CI CI #999: Scheduled
12s master
master
12s
Label stale PRs Label stale PRs #912: Scheduled
5s master
master
5s
Grove Grove #205: completed by mhuisi
1s
1s
PR release PR release #998: completed by mhuisi
1s
1s
CI CI #998: Scheduled
10s master
master
10s
Label stale PRs Label stale PRs #911: Scheduled
7s master
master
7s
PR release PR release #997: completed by mhuisi
1s
1s
Grove Grove #204: completed by mhuisi
1s
1s
CI CI #997: Scheduled
13s master
master
13s
Label stale PRs Label stale PRs #910: Scheduled
8s master
master
8s
PR release PR release #996: completed by mhuisi
Skipped
Skipped
Grove Grove #203: completed by mhuisi
1s
1s
CI CI #996: Scheduled
16s master
master
16s
Label stale PRs Label stale PRs #909: Scheduled
8s master
master
8s
Grove Grove #202: completed by mhuisi
Skipped
Skipped