Skip to content

Actions: Kappa-Dev/KappaTools

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Cleanup of counters_compiler ci #124: Commit 959ca43 pushed by antoinepouille
November 10, 2023 16:38 15m 52s onde/first-commits
onde/first-commits
November 10, 2023 16:38 15m 52s
refactored assemble_rule and name_and_purify_rule ci #123: Commit 064e776 pushed by antoinepouille
November 9, 2023 11:56 16m 4s onde/first-commits
onde/first-commits
November 9, 2023 11:56 16m 4s
Refactor Signature.mli and logic to build them ci #122: Commit d9f23e5 pushed by antoinepouille
November 8, 2023 18:20 17m 58s onde/first-commits
onde/first-commits
November 8, 2023 18:20 17m 58s
Refactor Signature.mli and logic to build them ci #121: Commit 5cf07b4 pushed by antoinepouille
November 8, 2023 17:31 19m 20s onde/first-commits
onde/first-commits
November 8, 2023 17:31 19m 20s
Change tuples to records in lKappa_compiler ci #120: Commit 683a9af pushed by antoinepouille
November 8, 2023 14:46 22m 1s onde/first-commits
onde/first-commits
November 8, 2023 14:46 22m 1s