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

[create-pull-request] automated change CI #519: Commit fe9641b pushed by ymherklotz
21m 32s main
main
21m 32s
2025-07-25 lean nightly update CI #518: Pull request #19 opened by ymherklotz
21m 28s auto-mathlib-update-2025-07-25
auto-mathlib-update-2025-07-25
21m 28s
2025-07-23 lean nightly update CI #517: Pull request #18 opened by ymherklotz
22m 3s auto-mathlib-update-2025-07-23
auto-mathlib-update-2025-07-23
22m 3s
Update mathlib version Update mathlib version #32: Scheduled
2m 23s main
main
2m 23s
Update arbiter example CI #516: Commit 011dd84 pushed by ymherklotz
20m 41s main
main
20m 41s
Update arbiter example CI #515: Commit 1249a0d pushed by ymherklotz
47s main
main
47s
Add the README to the examples folder CI #514: Commit d3d0617 pushed by ymherklotz
20m 45s main
main
20m 45s
Noc: Continue GenericBag CI #513: Commit 63aa94b pushed by Gurvan-dev
21m 41s main
main
21m 41s
Noc: Continue proof of generic bag CI #512: Commit bb76d67 pushed by Gurvan-dev
21m 8s main
main
21m 8s
Remove indistinguishability CI #511: Commit b7f9cf5 pushed by ymherklotz
20m 19s main
main
20m 19s
Add more information to the matching CI #510: Commit 41773e1 pushed by ymherklotz
19m 58s main
main
19m 58s
Fix branch/mux rewrites CI #509: Commit 0c428ce pushed by ymherklotz
20m 33s main
main
20m 33s
Add left and right branch-mux matching CI #508: Commit 82dcf11 pushed by ymherklotz
21m 43s main
main
21m 43s
Noc: Continue proof of GenericBag CI #507: Commit e410808 pushed by Gurvan-dev
20m 19s main
main
20m 19s
Rename findSCCNodes to findClosedRegion and add tests CI #506: Commit f17d373 pushed by ymherklotz
20m 36s main
main
20m 36s
Better handling of start and stop markers CI #505: Commit 67a8d37 pushed by ymherklotz
20m 26s main
main
20m 26s
Rename some structures CI #504: Commit ea5ec86 pushed by ymherklotz
21m 9s main
main
21m 9s
Move reverseNameMapping function to ExprHigh CI #503: Commit a621110 pushed by ymherklotz
18m 42s main
main
18m 42s
Undo renaming completely and generate valid dynamatic dot CI #502: Commit 75418d5 pushed by ymherklotz
18m 5s main
main
18m 5s
Update todo.md CI #501: Commit 2d633fc pushed by AyaElAkhras
20m 10s main
main
20m 10s
Added new pre and postprocessing scripts for splitting and combining MCs CI #500: Commit 15ff50a pushed by AyaElAkhras
20m 11s main
main
20m 11s
Deleted outdated preprocessing scripts CI #499: Commit c90c2ff pushed by AyaElAkhras
20m 30s main
main
20m 30s
Added more todos CI #498: Commit 55b6e16 pushed by AyaElAkhras
19m 51s main
main
19m 51s
Noc: Cleaning and Continuing RouterIn proof, which should be useful a… CI #497: Commit 350441f pushed by Gurvan-dev
20m 58s main
main
20m 58s
Move a todo CI #496: Commit 552d421 pushed by ymherklotz
20m 26s main
main
20m 26s