Skip to content

Actions: VCA-EPFL/graphiti

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
631 workflow runs
631 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

2025-08-01 lean nightly update (#24) CI #543: Commit b8aa848 pushed by ymherklotz
21m 17s main
main
21m 17s
2025-07-31 lean nightly update CI #542: Pull request #26 opened by ymherklotz
21m 35s auto-mathlib-update-2025-07-31
auto-mathlib-update-2025-07-31
21m 35s
2025-07-30 lean nightly update CI #541: Pull request #25 opened by ymherklotz
21m 31s auto-mathlib-update-2025-07-30
auto-mathlib-update-2025-07-30
21m 31s
2025-08-01 lean nightly update CI #540: Pull request #24 opened by ymherklotz
21m 31s auto-mathlib-update-2025-08-01
auto-mathlib-update-2025-08-01
21m 31s
Update mathlib version Update mathlib version #33: Scheduled
2m 6s main
main
2m 6s
Fix tests with new TypeExpr parser CI #539: Commit 2d5745f pushed by ymherklotz
20m 39s main
main
20m 39s
Add printer for bluespec types CI #538: Commit 22cd1c8 pushed by ymherklotz
4m 55s main
main
4m 55s
Update todos CI #537: Commit 84f2b5d pushed by ymherklotz
23m 3s main
main
23m 3s
Update todos CI #536: Commit 13f7c0d pushed by ymherklotz
22m 46s main
main
22m 46s
Update todos CI #535: Commit 2295c30 pushed by ymherklotz
23m 8s main
main
23m 8s
Noc: Use permutation for GenericBag correctness CI #534: Commit 50b2072 pushed by Gurvan-dev
22m 37s main
main
22m 37s
Add guard_msgs command for loop rewrite CI #533: Commit ff9530b pushed by ymherklotz
23m 3s main
main
23m 3s
Finish Loop proof without axioms CI #532: Commit 788c85c pushed by ymherklotz
22m 54s main
main
22m 54s
Loop rewrite without axioms CI #531: Pull request #23 synchronize by ymherklotz
22m 45s loop-rewrite-correct
loop-rewrite-correct
22m 45s
Loop rewrite without axioms CI #530: Pull request #23 opened by ymherklotz
22m 41s loop-rewrite-correct
loop-rewrite-correct
22m 41s
Noc: Continue proof of genericbag CI #529: Commit a38c4a5 pushed by Gurvan-dev
20m 8s main
main
20m 8s
Noc: Continue proof of GenericBag by tracking output flit CI #528: Commit c896efb pushed by Gurvan-dev
20m 30s main
main
20m 30s
Noc: Continue proof of GenericBag CI #527: Commit d4b5fb1 pushed by Gurvan-dev
20m 29s main
main
20m 29s
Remove --slow flag and replace by --fast flag CI #526: Commit a78357e pushed by ymherklotz
20m 18s main
main
20m 18s
Support if-statements inside loop CI #525: Pull request #22 synchronize by ymherklotz
20m 14s gsum_many
gsum_many
20m 14s
Support if-statements inside loop CI #524: Pull request #22 opened by ymherklotz
20m 15s gsum_many
gsum_many
20m 15s
[create-pull-request] automated change CI #523: Commit fe9641b pushed by ymherklotz
1m 56s main
main
1m 56s
Add gsum_many to rewrites CI #522: Commit 372fced pushed by ymherklotz
20m 7s main
main
20m 7s
Support if-statements inside loop CI #521: Pull request #21 synchronize by ymherklotz
5m 32s gsum_many
gsum_many
5m 32s
Support if-statements inside loop CI #520: Pull request #21 opened by ymherklotz
52s gsum_many
gsum_many
52s