Skip to content

Actions: VCA-EPFL/graphiti

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
629 workflow runs
629 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add ports to traces CI #564: Commit 9d37929 pushed by ymherklotz
17m 2s main
main
17m 2s
Merge branch 'main' of github.com:VCA-EPFL/graphiti CI #563: Commit 58ae4f7 pushed by Mai-LinhC
16m 37s main
main
16m 37s
Started main proof CI #562: Commit 71b4762 pushed by ortolino
16m 34s main
main
16m 34s
Liveness: Fix composed module internal CI #561: Commit 9c046f2 pushed by Mai-LinhC
16m 30s main
main
16m 30s
Liveness: Fix lemmas with new module def CI #560: Commit 481f905 pushed by Mai-LinhC
16m 31s main
main
16m 31s
Liveness: Fix composed module to have 2 lists as state CI #559: Commit 2a62a45 pushed by Mai-LinhC
1m 32s main
main
1m 32s
Improved liveness lemmas definitions CI #558: Commit 62a7967 pushed by ortolino
16m 51s main
main
16m 51s
Add lemmas definitions for liveness proofs CI #557: Commit 2e0ae53 pushed by ortolino
1m 12s main
main
1m 12s
Merge branch 'main' of github.com:VCA-EPFL/graphiti CI #556: Commit 7eef1b4 pushed by Mai-LinhC
16m 33s main
main
16m 33s
Noc: Continue correctness of BuildExpr CI #555: Commit 4aeaf29 pushed by Gurvan-dev
16m 34s main
main
16m 34s
Add Liveness directory CI #554: Commit 49bbc1a pushed by ymherklotz
16m 45s main
main
16m 45s
NoC: Cleaning and notes CI #553: Commit 9ac99fa pushed by Gurvan-dev
22m 14s main
main
22m 14s
Noc: Rename Router into Buffer CI #552: Commit ad21a51 pushed by Gurvan-dev
16m 33s main
main
16m 33s
Fix the workflow to use the makefile CI #551: Commit f95468b pushed by ymherklotz
21m 47s main
main
21m 47s
Lean update to v23-rc2 CI #550: Pull request #31 synchronize by ymherklotz
21m 36s lean-v23-rc2
lean-v23-rc2
21m 36s
Lean update to v23-rc2 CI #549: Pull request #31 opened by ymherklotz
2h 24m 38s lean-v23-rc2
lean-v23-rc2
2h 24m 38s
Update mathlib version Update mathlib version #37: Scheduled
2m 50s main
main
2m 50s
Update mathlib version Update mathlib version #36: Scheduled
2m 29s main
main
2m 29s
Top level CI #548: Pull request #30 synchronize by ymherklotz
3m 50s top-level
top-level
3m 50s
Top level CI #547: Pull request #30 opened by ymherklotz
3m 26s top-level
top-level
3m 26s
Update mathlib version Update mathlib version #35: Scheduled
1m 33s main
main
1m 33s
2025-08-06 lean nightly update CI #546: Pull request #29 opened by ymherklotz
4m 27s auto-mathlib-update-2025-08-06
auto-mathlib-update-2025-08-06
4m 27s
Update mathlib version Update mathlib version #34: Scheduled
2m 58s main
main
2m 58s
Add well-formedness of the environment w.r.t. components CI #545: Commit 2c4deb5 pushed by ymherklotz
19m 41s main
main
19m 41s
Refactor ExprLow and ExprHigh to make types more flexible CI #544: Commit a1454e1 pushed by ymherklotz
19m 22s main
main
19m 22s