Skip to content

Actions: attilavjda/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
271 workflow runs
271 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 #67: completed by attilavjda
2s
2s
Grove Grove #67: completed by attilavjda
1s
1s
CI CI #67: Scheduled
17s master
master
17s
Label stale PRs Label stale PRs #60: Scheduled
7s master
master
7s
PR release PR release #66: completed by attilavjda
3s
3s
Grove Grove #66: completed by attilavjda
1s
1s
CI CI #66: Scheduled
26s master
master
26s
Label stale PRs Label stale PRs #59: Scheduled
42s master
master
42s
PR release PR release #65: completed by attilavjda
11s
11s
Grove Grove #65: completed by attilavjda
1s
1s
CI CI #65: Scheduled
15s master
master
15s
Label stale PRs Label stale PRs #58: Scheduled
7s master
master
7s
PR release PR release #64: completed by attilavjda
2s
2s
Grove Grove #64: completed by attilavjda
10s
10s
CI CI #64: Scheduled
13s master
master
13s
Label stale PRs Label stale PRs #57: Scheduled
9s master
master
9s
PR release PR release #63: completed by attilavjda
1s
1s
Grove Grove #63: completed by attilavjda
1s
1s
CI CI #63: Scheduled
18s master
master
18s
Label stale PRs Label stale PRs #56: Scheduled
9s master
master
9s
PR release PR release #62: completed by attilavjda
2s
2s
Grove Grove #62: completed by attilavjda
1s
1s
CI CI #62: Scheduled
21s master
master
21s
Label stale PRs Label stale PRs #55: Scheduled
7s master
master
7s
PR release PR release #61: completed by attilavjda
9s
9s