Thanks to visit codestin.com
Credit goes to GitHub.com

Skip to content

Actions: nomeata/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
228 workflow runs
228 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

PR release PR release #354: completed by nomeata
1s
1s
Grove Grove #7: completed by nomeata
1s
1s
CI CI #321: Scheduled
13s master
master
13s
Label stale PRs Label stale PRs #194: Scheduled
7s master
master
7s
Grove Grove #6: completed by nomeata
1s
1s
PR release PR release #353: completed by nomeata
1s
1s
CI CI #320: Scheduled
15s master
master
15s
Label stale PRs Label stale PRs #193: Scheduled
10s master
master
10s
Grove Grove #5: completed by nomeata
1s
1s
PR release PR release #352: completed by nomeata
7s
7s
CI CI #319: Scheduled
14s master
master
14s
Label stale PRs Label stale PRs #192: Scheduled
7s master
master
7s
PR release PR release #351: completed by nomeata
2s
2s
Grove Grove #4: completed by nomeata
1s
1s
CI CI #318: Scheduled
17s master
master
17s
Label stale PRs Label stale PRs #191: Scheduled
8s master
master
8s
Grove Grove #3: completed by nomeata
Skipped
Skipped
PR release PR release #350: completed by nomeata
Skipped
Skipped
CI CI #317: Scheduled
15s master
master
15s
Label stale PRs Label stale PRs #190: Scheduled
6s master
master
6s
PR release PR release #349: completed by nomeata
1s
1s
Grove Grove #2: completed by nomeata
1s
1s
CI CI #316: Scheduled
13s master
master
13s
Label stale PRs Label stale PRs #189: Scheduled
9s master
master
9s
Grove Grove #1: completed by nomeata
1s
1s