Skip to content

Actions: project-llzk/veir

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
114 workflow runs
114 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
Update Lean Toolchain Version Update Lean Toolchain Version #15: Scheduled
6s main
main
6s
Nightly veir-tests Nightly veir-tests #15: Scheduled
2m 39s main
main
2m 39s
Update Lean Toolchain Version Update Lean Toolchain Version #14: Scheduled
8s main
main
8s
Nightly veir-tests Nightly veir-tests #14: Scheduled
3m 26s main
main
3m 26s
Update Lean Toolchain Version Update Lean Toolchain Version #13: Scheduled
8s main
main
8s
Tighten LLZK Felt slides and add examples Lean Action CI #39: Commit eae1c27 pushed by alexanderlhicks
4m 45s llzk-felt-porting-brief
llzk-felt-porting-brief
4m 45s
Add Verso slides for LLZK Felt porting brief Lean Action CI #38: Commit a1b77b0 pushed by alexanderlhicks
4m 15s llzk-felt-porting-brief
llzk-felt-porting-brief
4m 15s
Add LLZK Felt porting maintainer brief Lean Action CI #37: Commit 77016c6 pushed by alexanderlhicks
4m 54s llzk-felt-porting-brief
llzk-felt-porting-brief
4m 54s
Merge pull request #2 from project-llzk/drop-in-roadmap-phase10-boots… CI #12: Commit 1be2f5d pushed by alexanderlhicks
5m 4s main
main
5m 4s
Merge pull request #2 from project-llzk/drop-in-roadmap-phase10-boots… LLZK quality gates #31: Commit 1be2f5d pushed by alexanderlhicks
2m 4s main
main
2m 4s
Merge pull request #2 from project-llzk/drop-in-roadmap-phase10-boots… Lean Action CI #36: Commit 1be2f5d pushed by alexanderlhicks
4m 50s main
main
4m 50s
Document Felt drop-in roadmap and Phase 10 bootstrap LLZK quality gates #30: Pull request #2 opened by alexanderlhicks
1m 53s drop-in-roadmap-phase10-bootstrap
drop-in-roadmap-phase10-bootstrap
1m 53s
Document Felt drop-in roadmap and Phase 10 bootstrap CI #11: Pull request #2 opened by alexanderlhicks
4m 22s drop-in-roadmap-phase10-bootstrap
drop-in-roadmap-phase10-bootstrap
4m 22s
Document Felt drop-in roadmap and Phase 10 bootstrap Lean Action CI #35: Pull request #2 opened by alexanderlhicks
5m 16s drop-in-roadmap-phase10-bootstrap
drop-in-roadmap-phase10-bootstrap
5m 16s
Document Felt drop-in roadmap and Phase 10 bootstrap Lean Action CI #34: Commit 6f4c068 pushed by alexanderlhicks
4m 54s drop-in-roadmap-phase10-bootstrap
drop-in-roadmap-phase10-bootstrap
4m 54s
Nightly veir-tests Nightly veir-tests #13: Scheduled
2m 43s main
main
2m 43s
Merge pull request #1 from project-llzk/felt-review-structural-close Lean Action CI #33: Commit 45d31a2 pushed by alexanderlhicks
17m 4s main
main
17m 4s
Merge pull request #1 from project-llzk/felt-review-structural-close CI #10: Commit 45d31a2 pushed by alexanderlhicks
16m 52s main
main
16m 52s
Merge pull request #1 from project-llzk/felt-review-structural-close LLZK quality gates #29: Commit 45d31a2 pushed by alexanderlhicks
1m 51s main
main
1m 51s
Felt review structural close Lean Action CI #32: Pull request #1 synchronize by alexanderlhicks
16m 55s felt-review-structural-close
felt-review-structural-close
16m 55s
Felt review structural close LLZK quality gates #28: Pull request #1 synchronize by alexanderlhicks
1m 45s felt-review-structural-close
felt-review-structural-close
1m 45s
Felt review structural close CI #9: Pull request #1 synchronize by alexanderlhicks
18m 59s felt-review-structural-close
felt-review-structural-close
18m 59s
Merge opencompl main into felt review Lean Action CI #31: Commit 42db1ae pushed by alexanderlhicks
18m 11s felt-review-structural-close
felt-review-structural-close
18m 11s
Felt review structural close Lean Action CI #30: Pull request #1 synchronize by alexanderlhicks
5m 43s felt-review-structural-close
felt-review-structural-close
5m 43s
Felt review structural close LLZK quality gates #27: Pull request #1 synchronize by alexanderlhicks
1m 44s felt-review-structural-close
felt-review-structural-close
1m 44s