Skip to content

Actions: metadeuss/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
128 workflow runs
128 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 #123: Scheduled
15s master
master
15s
Label stale PRs Label stale PRs #120: Scheduled
8s master
master
8s
PR release PR release #122: completed by metadeuss
1s
1s
CI CI #122: Scheduled
14s master
master
14s
Label stale PRs Label stale PRs #119: Scheduled
9s master
master
9s
PR release PR release #121: completed by metadeuss
1s
1s
CI CI #121: Scheduled
15s master
master
15s
Label stale PRs Label stale PRs #118: Scheduled
6s master
master
6s
PR release PR release #120: completed by metadeuss
1s
1s
CI CI #120: Scheduled
16s master
master
16s
Label stale PRs Label stale PRs #117: Scheduled
8s master
master
8s
PR release PR release #119: completed by metadeuss
1s
1s
CI CI #119: Scheduled
12s master
master
12s
Label stale PRs Label stale PRs #116: Scheduled
9s master
master
9s
PR release PR release #118: completed by metadeuss
Skipped
Skipped
CI CI #118: Scheduled
12s master
master
12s
Label stale PRs Label stale PRs #115: Scheduled
7s master
master
7s
PR release PR release #117: completed by metadeuss
1s
1s
CI CI #117: Scheduled
8s master
master
8s
Label stale PRs Label stale PRs #114: Scheduled
9s master
master
9s
PR release PR release #116: completed by metadeuss
1s
1s
CI CI #116: Scheduled
13s master
master
13s
Label stale PRs Label stale PRs #113: Scheduled
9s master
master
9s
PR release PR release #115: completed by metadeuss
2s
2s
CI CI #115: Scheduled
15s master
master
15s