Skip to content

Actions: ejgallego/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
406 workflow runs
406 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
CI CI #102: Scheduled
16s master
master
16s
Label stale PRs Label stale PRs #101: Scheduled
8s master
master
8s
Grove Grove #101: completed by ejgallego
1s
1s
PR release PR release #101: completed by ejgallego
1s
1s
CI CI #101: Scheduled
13s master
master
13s
Label stale PRs Label stale PRs #100: Scheduled
8s master
master
8s
Grove Grove #100: completed by ejgallego
1s
1s
PR release PR release #100: completed by ejgallego
1s
1s
CI CI #100: Scheduled
17s master
master
17s
Label stale PRs Label stale PRs #99: Scheduled
9s master
master
9s
Grove Grove #99: completed by ejgallego
1s
1s
PR release PR release #99: completed by ejgallego
1s
1s
CI CI #99: Scheduled
15s master
master
15s
Label stale PRs Label stale PRs #98: Scheduled
9s master
master
9s
PR release PR release #98: completed by ejgallego
1s
1s
Grove Grove #98: completed by ejgallego
1s
1s
CI CI #98: Scheduled
14s master
master
14s
Label stale PRs Label stale PRs #97: Scheduled
7s master
master
7s
PR release PR release #97: completed by ejgallego
2s
2s
Grove Grove #97: completed by ejgallego
1s
1s
CI CI #97: Scheduled
16s master
master
16s
Label stale PRs Label stale PRs #96: Scheduled
9s master
master
9s
Grove Grove #96: completed by ejgallego
1s
1s
PR release PR release #96: completed by ejgallego
1s
1s
CI CI #96: Scheduled
14s master
master
14s