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

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