Skip to content

Actions: Kappa-Dev/KappaTools

ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
130 workflow run results
130 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

January 14, 2025 12:55 26m 55s
Add VSCode extension for syntax coloring
ci #481: Commit a3908b8 pushed by antoinepouille
January 13, 2025 14:06 34m 21s master
January 13, 2025 14:06 34m 21s
test(webapp): setup electron tests
ci #470: Commit dbe8029 pushed by antoinepouille
December 5, 2024 16:09 25m 26s master
December 5, 2024 16:09 25m 26s
December 5, 2024 14:19 25m 46s
December 4, 2024 16:42 25m 46s
integration tests with proper expontentiation function
ci #460: Commit 356a456 pushed by feret
December 4, 2024 15:19 26m 15s master
December 4, 2024 15:19 26m 15s
fixing pow function
ci #458: Commit 81cc6a7 pushed by feret
December 4, 2024 14:31 19m 56s master
December 4, 2024 14:31 19m 56s
test(webapp): Add playwright tests
ci #442: Commit fa4100f pushed by antoinepouille
November 7, 2024 17:01 25m 33s master
November 7, 2024 17:01 25m 33s
do not warn about arity issues on refinement of rules
ci #434: Commit 79a08c8 pushed by feret
November 5, 2024 13:18 20m 49s master
November 5, 2024 13:18 20m 49s
do not warn about arity issues on refinement of rules
ci #433: Commit 1ab81f8 pushed by feret
November 5, 2024 13:00 18m 59s master
November 5, 2024 13:00 18m 59s
fix(ci): lint of last commits (ran dune fmt)
ci #429: Commit 3838505 pushed by antoinepouille
November 4, 2024 19:31 21m 31s master
November 4, 2024 19:31 21m 31s
update test suite
ci #428: Commit 5ad9359 pushed by feret
November 3, 2024 06:05 19m 25s master
November 3, 2024 06:05 19m 25s
correct spacing in dotnet output
ci #427: Commit 8761cda pushed by feret
November 3, 2024 05:53 17m 38s master
November 3, 2024 05:53 17m 38s
Bump ocaml/setup-ocaml from 2 to 3
ci #423: Commit 24cd005 pushed by antoinepouille
October 28, 2024 10:08 25m 53s master
October 28, 2024 10:08 25m 53s
fix(log tab): remove infinite loop of log queries
ci #409: Commit bafaeb8 pushed by antoinepouille
October 16, 2024 11:39 30m 46s master
October 16, 2024 11:39 30m 46s
fix(deploy): correctly separate artifacts to upload
ci #408: Commit 03554c7 pushed by antoinepouille
October 7, 2024 13:35 20m 50s master
October 7, 2024 13:35 20m 50s
clean(webapp): clean webapp logs
ci #407: Commit 5596b5e pushed by antoinepouille
October 4, 2024 15:44 23m 46s master
October 4, 2024 15:44 23m 46s
fix(CI) deploy
ci #405: Commit a0770ce pushed by antoinepouille
October 4, 2024 15:38 20m 50s master
October 4, 2024 15:38 20m 50s
Fix parsing of exceptions struct to json
ci #404: Commit 390e3c8 pushed by antoinepouille
October 4, 2024 15:10 21m 59s master
October 4, 2024 15:10 21m 59s
Make modal errors less scary 👻
ci #403: Commit 008661f pushed by antoinepouille
October 4, 2024 13:35 21m 14s master
October 4, 2024 13:35 21m 14s
Improve github actions
ci #400: Commit 9f2c5b7 pushed by antoinepouille
September 26, 2024 14:54 24m 13s master
September 26, 2024 14:54 24m 13s
Improve github actions
ci #398: Commit 49f9863 pushed by antoinepouille
September 26, 2024 14:12 15m 43s master
September 26, 2024 14:12 15m 43s
Add ocamlformat to CI
ci #395: Commit eb6e8fa pushed by antoinepouille
September 25, 2024 17:26 13m 33s master
September 25, 2024 17:26 13m 33s
Webapp: structure in directories and add READMEs
ci #385: Commit 5ef613f pushed by antoinepouille
September 25, 2024 15:00 19m 40s master
September 25, 2024 15:00 19m 40s
fix Kappapp.tar.gz dir containing build
ci #380: Commit c8f537d pushed by antoinepouille
September 25, 2024 12:34 13m 10s master
September 25, 2024 12:34 13m 10s