Skip to content

Actions: MERCorg/merc-verified

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
25 workflow runs
25 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
Finished the proof for inductive branching signatures Generate Aeneas Code #5: Commit 0890570 pushed by mlaveaux
15m 2s main
main
15m 2s
Finished the proof for inductive branching signatures Lean Action CI #20: Commit 0890570 pushed by mlaveaux
7m 21s main
main
7m 21s
Updated readme instructions Generate Aeneas Code #4: Commit 83d122c pushed by mlaveaux
11m 16s main
main
11m 16s
Updated readme instructions Lean Action CI #19: Commit 83d122c pushed by mlaveaux
6m 21s main
main
6m 21s
Updated the claude instructions Generate Aeneas Code #3: Commit 981b2ab pushed by mlaveaux
19m 28s main
main
19m 28s
Updated the claude instructions Lean Action CI #18: Commit 981b2ab pushed by mlaveaux
11m 38s main
main
11m 38s
Check in the generated code Lean Action CI #17: Commit 3eae293 pushed by mlaveaux
12m 48s main
main
12m 48s
Check in the generated code Generate Aeneas Code #2: Commit 3eae293 pushed by mlaveaux
20m 5s main
main
20m 5s
Only verify in one CI, and update the generated code in another one. Lean Action CI #16: Commit 4356b5f pushed by mlaveaux
2m 21s main
main
2m 21s
Only verify in one CI, and update the generated code in another one. Generate Aeneas Code #1: Commit 4356b5f pushed by mlaveaux
21m 6s main
main
21m 6s
Expose BranchingBisimulation section and import BranchingBisimilarity… Lean Action CI #15: Commit 33914ad pushed by mlaveaux
21m 24s main
main
21m 24s
Added the result that a fixed point of the refinement yields a strong… Lean Action CI #14: Commit 92afce0 pushed by mlaveaux
43m 13s main
main
43m 13s
Also ensure that dune is available for the setup-charon step Lean Action CI #13: Commit 3461cf5 pushed by mlaveaux
21m 12s main
main
21m 12s
Fixed compilation issues Lean Action CI #12: Commit 817b076 pushed by mlaveaux
1h 5m 10s main
main
1h 5m 10s
Rename it in the CI as well Lean Action CI #11: Commit 3f305a4 pushed by mlaveaux
16m 40s main
main
16m 40s
Added an initial readme Lean Action CI #10: Commit 81b916b pushed by mlaveaux
24m 12s main
main
24m 12s
Generate the code in the right directory Lean Action CI #9: Commit df35704 pushed by mlaveaux
17m 10s main
main
17m 10s
Update lean_action_ci.yml to be syntactically correct Lean Action CI #8: Commit 1f61a4b pushed by mlaveaux
18m 35s main
main
18m 35s
Update lean_action_ci.yml Lean Action CI #7: Commit cf4186f pushed by mlaveaux
Failure main
main
Failure
Added caching, and ensure dune is set up properly Lean Action CI #6: Commit 9636275 pushed by mlaveaux
33m 39s main
main
33m 39s
Changed the way OCaml packages are installed Lean Action CI #5: Commit ec738d0 pushed by mlaveaux
23m 40s main
main
23m 40s
Build the library by default Lean Action CI #4: Commit cd49b0d pushed by mlaveaux
2m 55s main
main
2m 55s
Use the correct version of the ocaml action Lean Action CI #3: Commit 82c40d7 pushed by mlaveaux
10m 15s main
main
10m 15s
Fixed compilation of main Lean Action CI #2: Commit 710ebda pushed by mlaveaux
7s main
main
7s
Added a basic CI that builds the proofs. Lean Action CI #1: Commit 3d9aec7 pushed by mlaveaux
Failure main
main
Failure