Skip to content

Actions: project-llzk/llzk-lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
29 workflow runs
29 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
Strategy A — Differential Strategy A — Differential #18: Scheduled
48s main
main
48s
Strategy A — Differential Strategy A — Differential #17: Scheduled
37s main
main
37s
Strategy A — Differential Strategy A — Differential #16: Scheduled
1m 2s main
main
1m 2s
Strategy A — Differential Strategy A — Differential #15: Scheduled
34s main
main
34s
Strategy A — Differential Strategy A — Differential #14: Scheduled
1m 10s main
main
1m 10s
Merge pull request #2 from project-llzk/drop-in-roadmap-phase10-boots… Strategy A — Differential #13: Commit fcb5b91 pushed by alexanderlhicks
55s main
main
55s
Merge pull request #2 from project-llzk/drop-in-roadmap-phase10-boots… Strategy E — Certificates #11: Commit fcb5b91 pushed by alexanderlhicks
36s main
main
36s
Document Felt drop-in roadmap and Phase 10 bootstrap Strategy A — Differential #12: Pull request #2 opened by alexanderlhicks
43s drop-in-roadmap-phase10-bootstrap
drop-in-roadmap-phase10-bootstrap
43s
Document Felt drop-in roadmap and Phase 10 bootstrap Strategy E — Certificates #10: Pull request #2 opened by alexanderlhicks
37s drop-in-roadmap-phase10-bootstrap
drop-in-roadmap-phase10-bootstrap
37s
Merge pull request #1 from project-llzk/felt-review Strategy A — Differential #11: Commit b8f826f pushed by alexanderlhicks
21m 3s main
main
21m 3s
Merge pull request #1 from project-llzk/felt-review Strategy E — Certificates #9: Commit b8f826f pushed by alexanderlhicks
20m 19s main
main
20m 19s
Felt review Strategy A — Differential #10: Pull request #1 synchronize by alexanderlhicks
22m 3s felt-review
felt-review
22m 3s
Felt review Strategy E — Certificates #8: Pull request #1 synchronize by alexanderlhicks
21m 51s felt-review
felt-review
21m 51s
Felt review Strategy E — Certificates #7: Pull request #1 synchronize by alexanderlhicks
23m 36s felt-review
felt-review
23m 36s
Felt review Strategy A — Differential #9: Pull request #1 synchronize by alexanderlhicks
26m 44s felt-review
felt-review
26m 44s
Felt review Strategy A — Differential #8: Pull request #1 synchronize by alexanderlhicks
1m 22s felt-review
felt-review
1m 22s
Felt review Strategy E — Certificates #6: Pull request #1 synchronize by alexanderlhicks
1m 33s felt-review
felt-review
1m 33s
Felt review Strategy E — Certificates #5: Pull request #1 synchronize by alexanderlhicks
1m 51s felt-review
felt-review
1m 51s
Felt review Strategy A — Differential #7: Pull request #1 synchronize by alexanderlhicks
1m 25s felt-review
felt-review
1m 25s
Felt review Strategy A — Differential #6: Pull request #1 synchronize by alexanderlhicks
6s felt-review
felt-review
6s
Felt review Strategy E — Certificates #4: Pull request #1 synchronize by alexanderlhicks
44s felt-review
felt-review
44s
Felt review Strategy E — Certificates #3: Pull request #1 opened by alexanderlhicks
36s felt-review
felt-review
36s
Felt review Strategy A — Differential #5: Pull request #1 opened by alexanderlhicks
8s felt-review
felt-review
8s
Strategy A — Differential Strategy A — Differential #4: Scheduled
5s main
main
5s
Strategy A — Differential Strategy A — Differential #3: Scheduled
9s main
main
9s