Skip to content

Actions: namideus/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
47 workflow run results
47 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

PR release PR release #15: completed by namideus
1s
1s
CI CI #15: Scheduled
22s master
master
22s
Label stale PRs Label stale PRs #14: Scheduled
11s master
master
11s
PR release PR release #14: completed by namideus
2s
2s
CI CI #14: Scheduled
19s master
master
19s
Label stale PRs Label stale PRs #13: Scheduled
14s master
master
14s
PR release PR release #13: completed by namideus
1s
1s
CI CI #13: Scheduled
27s master
master
27s
Label stale PRs Label stale PRs #12: Scheduled
13s master
master
13s
PR release PR release #12: completed by namideus
2s
2s
CI CI #12: Scheduled
23s master
master
23s
Label stale PRs Label stale PRs #11: Scheduled
12s master
master
12s
PR release PR release #11: completed by namideus
2s
2s
CI CI #11: Scheduled
21s master
master
21s
Label stale PRs Label stale PRs #10: Scheduled
10s master
master
10s
PR release PR release #10: completed by namideus
1s
1s
CI CI #10: Scheduled
16s master
master
16s
Label stale PRs Label stale PRs #9: Scheduled
10s master
master
10s
PR release PR release #9: completed by namideus
2s
2s
CI CI #9: Scheduled
16s master
master
16s
Label stale PRs Label stale PRs #8: Scheduled
11s master
master
11s
PR release PR release #8: completed by namideus
2s
2s
CI CI #8: Scheduled
20s master
master
20s
Label stale PRs Label stale PRs #7: Scheduled
9s master
master
9s
PR release PR release #7: completed by namideus
2s
2s