Skip to content

Actions: Kappa-Dev/KappaTools

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

GUI: remove refresh_file reactive event ci #154: Commit ff5d137 pushed by pirbo
February 26, 2024 21:58 15m 16s master
master
February 26, 2024 21:58 15m 16s
test configuration ci #153: Commit 5d7111b pushed by feret
February 21, 2024 12:33 19m 7s ELECTRON20.0.1
ELECTRON20.0.1
February 21, 2024 12:33 19m 7s
Revert "Update External Librairies" ci #152: Commit 7515df2 pushed by feret
February 21, 2024 09:28 13m 39s master
master
February 21, 2024 09:28 13m 39s
Merge branch 'master' of github.com:Kappa-Dev/KappaTools ci #151: Commit 9f8d8ce pushed by feret
February 21, 2024 08:49 13m 40s master
master
February 21, 2024 08:49 13m 40s
Ignore temporary integration test outputs ci #150: Commit 78dc999 pushed by feret
February 21, 2024 06:01 18m 24s master
master
February 21, 2024 06:01 18m 24s
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