Skip to content

Actions: Kappa-Dev/KappaTools

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
80 workflow run results
80 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'master' into hmedina-patch-2 ci #149: Commit 5a139d6 pushed by feret
February 21, 2024 05:59 18m 48s hmedina-patch-2
hmedina-patch-2
February 21, 2024 05:59 18m 48s
Compatibility with OCaml 5.1.1 ci #148: Commit 475a6f7 pushed by feret
February 13, 2024 21:52 26m 36s master
master
February 13, 2024 21:52 26m 36s
Cleanup of counter agent translation logic ci #147: Commit b5c24e2 pushed by antoinepouille
January 8, 2024 13:08 15m 20s onde/counter_further_impl
onde/counter_further_impl
January 8, 2024 13:08 15m 20s
Small-than implementation in counters as translation into new "invert… ci #146: Commit f04a65d pushed by antoinepouille
January 4, 2024 15:16 18m 38s master
master
January 4, 2024 15:16 18m 38s
fix ci ci #145: Commit d04545c pushed by antoinepouille
January 3, 2024 17:37 55m 31s onde/counter-impl
onde/counter-impl
January 3, 2024 17:37 55m 31s
Test for <= in counters ci #144: Commit e4b6fe8 pushed by antoinepouille
January 3, 2024 17:24 9m 39s onde/counter-impl
onde/counter-impl
January 3, 2024 17:24 9m 39s
Test for <= in counters ci #143: Commit 686c6d3 pushed by antoinepouille
January 3, 2024 17:17 1h 2m 33s onde/counter-impl
onde/counter-impl
January 3, 2024 17:17 1h 2m 33s
Test for <= in counters ci #142: Commit 63d7608 pushed by antoinepouille
January 3, 2024 17:10 17m 38s onde/counter-impl
onde/counter-impl
January 3, 2024 17:10 17m 38s
Added translation from CLTE to CGTE ci #141: Commit d8d8597 pushed by antoinepouille
December 18, 2023 16:09 20m 39s onde/counter-impl
onde/counter-impl
December 18, 2023 16:09 20m 39s
Improve clarity of code in kappa compiler and counter compiler (#676) ci #140: Commit e01791c pushed by antoinepouille
November 30, 2023 16:17 14m 59s master
master
November 30, 2023 16:17 14m 59s
Cleanup of counters_compiler ci #139: Commit e7cee49 pushed by antoinepouille
November 30, 2023 15:29 12m 54s onde/first-commits
onde/first-commits
November 30, 2023 15:29 12m 54s
Cleanup of counters_compiler ci #138: Commit a15ab88 pushed by antoinepouille
November 30, 2023 15:19 22m 6s onde/first-commits
onde/first-commits
November 30, 2023 15:19 22m 6s
Ocamlformat all the ml code in the repo, update dune and .gitignore s… ci #137: Commit e625364 pushed by antoinepouille
November 30, 2023 14:54 16m 46s master
master
November 30, 2023 14:54 16m 46s
Adding .ocamlformat and formatting codebase ci #136: Commit 73b964c pushed by antoinepouille
November 30, 2023 13:36 17m 45s onde/dune-ocamlformat
onde/dune-ocamlformat
November 30, 2023 13:36 17m 45s
WIP ci #135: Commit d3d103d pushed by antoinepouille
November 30, 2023 12:07 14m 55s onde/first-commits
onde/first-commits
November 30, 2023 12:07 14m 55s
Adding .ocamlformat and formatting codebase ci #134: Commit 46973b0 pushed by antoinepouille
November 30, 2023 12:06 14m 48s onde/dune-ocamlformat
onde/dune-ocamlformat
November 30, 2023 12:06 14m 48s
Revert "Adding dune root parameters to the project" ci #133: Commit de804fa pushed by antoinepouille
November 30, 2023 11:42 13m 46s onde/first-commits
onde/first-commits
November 30, 2023 11:42 13m 46s
Adding .ocamlformat and formatting codebase ci #132: Commit 9105b9d pushed by antoinepouille
November 30, 2023 11:39 11m 24s onde/dune-ocamlformat
onde/dune-ocamlformat
November 30, 2023 11:39 11m 24s
Revert "Adding dune root parameters to the project" ci #131: Commit 91dfc6b pushed by antoinepouille
November 30, 2023 11:37 11m 54s onde/dune-ocamlformat
onde/dune-ocamlformat
November 30, 2023 11:37 11m 54s
Adding dune root parameters to the project ci #130: Commit 7bf2e34 pushed by antoinepouille
November 30, 2023 11:28 18m 20s onde/test-dune
onde/test-dune
November 30, 2023 11:28 18m 20s
Cleanup of counters_compiler ci #129: Commit 323d535 pushed by antoinepouille
November 27, 2023 15:56 14m 46s onde/first-commits
onde/first-commits
November 27, 2023 15:56 14m 46s
Adding .ocamlformat and formatting codebase ci #128: Commit 6737a5a pushed by antoinepouille
November 27, 2023 15:55 24m 41s onde/dune-ocamlformat
onde/dune-ocamlformat
November 27, 2023 15:55 24m 41s
Adding .ocamlformat and formatting codebase ci #127: Commit cfb5926 pushed by antoinepouille
November 27, 2023 15:37 17m 27s onde/dune-ocamlformat
onde/dune-ocamlformat
November 27, 2023 15:37 17m 27s
Cleanup of counters_compiler ci #126: Commit 1db8260 pushed by antoinepouille
November 27, 2023 15:25 18m 32s onde/first-commits
onde/first-commits
November 27, 2023 15:25 18m 32s
Cleanup of counters_compiler ci #125: Commit 7d57ba0 pushed by antoinepouille
November 27, 2023 15:24 18m 17s onde/first-commits
onde/first-commits
November 27, 2023 15:24 18m 17s