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

fixup ci #201: Commit 90fc05f pushed by antoinepouille
March 21, 2024 16:14 14m 36s debug_dead_rules
debug_dead_rules
March 21, 2024 16:14 14m 36s
JS: in the middle of debugging dead rules ci #200: Commit cca7f77 pushed by antoinepouille
March 21, 2024 15:33 22m 34s debug_dead_rules
debug_dead_rules
March 21, 2024 15:33 22m 34s
add js_of_ocaml flag to all js executables ci #199: Commit e7284c0 pushed by antoinepouille
March 21, 2024 15:31 12m 49s master
master
March 21, 2024 15:31 12m 49s
JS: in the middle of debugging dead rules ci #198: Commit 1babbe7 pushed by pirbo
March 21, 2024 15:30 14m 10s debug_dead_rules
debug_dead_rules
March 21, 2024 15:30 14m 10s
Fix issue when log tab is used before launching any simulation ci #197: Commit aa9c9ef pushed by feret
March 21, 2024 15:06 14m 2s master
master
March 21, 2024 15:06 14m 2s
Move jsoo sourcemaps to site dir if they were generated ci #196: Commit 56bcf6f pushed by antoinepouille
March 21, 2024 14:35 12m 17s onde/set-libs-in-dune
onde/set-libs-in-dune
March 21, 2024 14:35 12m 17s
ci ci #195: by antoinepouille
March 20, 2024 14:49 14m 7s master
master
March 20, 2024 14:49 14m 7s
Remove build-depependancy info on atdgen, not available with dune ci #194: Commit 856acb5 pushed by antoinepouille
March 19, 2024 11:06 13m 40s onde/set-libs-in-dune
onde/set-libs-in-dune
March 19, 2024 11:06 13m 40s
Move opam packages definition in dune-project ci #193: Commit ae2301c pushed by antoinepouille
March 18, 2024 15:46 4m 34s onde/set-libs-in-dune
onde/set-libs-in-dune
March 18, 2024 15:46 4m 34s
Unpin (for now) jsoo version and disable deadcodeelimination ci #192: Commit fec4bd9 pushed by antoinepouille
March 15, 2024 17:56 15m 56s master
master
March 15, 2024 17:56 15m 56s
Set jsoo version to 5.4.0 to avoid not loading bugs introduced in 5.5.x ci #191: Commit 6b86593 pushed by antoinepouille
March 15, 2024 16:42 14m 1s master
master
March 15, 2024 16:42 14m 1s
Remove travis as unused for 3 years ci #190: Commit 4b8a875 pushed by antoinepouille
March 15, 2024 15:26 12m 17s master
master
March 15, 2024 15:26 12m 17s
Remove travis as unused for 3 years ci #189: Commit c4e8c4c pushed by antoinepouille
March 15, 2024 14:33 16m 56s master
master
March 15, 2024 14:33 16m 56s
Add Kappapp uncompressed build in Makefile ci #188: Commit 40b5295 pushed by antoinepouille
March 14, 2024 08:55 11m 52s master
master
March 14, 2024 08:55 11m 52s
logs and investigations ci #187: Commit f7dc6c1 pushed by feret
March 14, 2024 08:50 16m 23s test_issue_629
test_issue_629
March 14, 2024 08:50 16m 23s
remove dead code ci #186: Commit 5662d9f pushed by antoinepouille
March 13, 2024 16:03 15m 47s onde/update-deps
onde/update-deps
March 13, 2024 16:03 15m 47s
Should fix tab_editor and tab_outputs (untested) #684 ci #185: Commit cd2389b pushed by antoinepouille
March 13, 2024 08:54 12m 5s master
master
March 13, 2024 08:54 12m 5s
Renaming and comment in state_simulation.mli ci #184: Commit 4e032f8 pushed by antoinepouille
March 13, 2024 08:28 13m 32s onde/work_on_webapp_issues
onde/work_on_webapp_issues
March 13, 2024 08:28 13m 32s
Renaming and comment in state_simulation.mli ci #183: Commit d557547 pushed by antoinepouille
March 12, 2024 17:14 10m 48s onde/work_on_webapp_issues
onde/work_on_webapp_issues
March 12, 2024 17:14 10m 48s
Renaming and comment in state_simulation.mli ci #182: Commit a236e8e pushed by antoinepouille
March 12, 2024 15:49 12m 50s onde/work_on_webapp_issues
onde/work_on_webapp_issues
March 12, 2024 15:49 12m 50s
Renaming and comment in state_simulation.mli ci #181: Commit f1486d8 pushed by antoinepouille
March 12, 2024 15:07 12m 4s onde/work_on_webapp_issues
onde/work_on_webapp_issues
March 12, 2024 15:07 12m 4s
remove dead code ci #180: Commit 5662d9f pushed by feret
March 10, 2024 12:33 19m 11s master
master
March 10, 2024 12:33 19m 11s
fix ci ci #179: Commit 426e60d pushed by feret
March 10, 2024 12:16 12m 24s master
master
March 10, 2024 12:16 12m 24s
integration tests for #683 ci #176: Commit 3e5d63b pushed by feret
March 10, 2024 08:07 12m 5s master
master
March 10, 2024 08:07 12m 5s
fix #683: neutral elements in some folding operator were buggy ci #175: Commit d824f94 pushed by feret
March 9, 2024 20:59 12m 35s master
master
March 9, 2024 20:59 12m 35s