Skip to content

Actions: Kappa-Dev/KappaTools

Actions

ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
360 workflow runs
360 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

collect guard information in precondition ci #487: Commit decc52e pushed by reb-ddm
January 21, 2025 17:14 9m 18s families-of-models
families-of-models
January 21, 2025 17:14 9m 18s
add guard also to bdu_creation ci #486: Commit 82c124d pushed by reb-ddm
January 21, 2025 15:15 10m 31s families-of-models
families-of-models
January 21, 2025 15:15 10m 31s
renamed guards to the corrrect index in the mvbdu and printed the val… ci #485: Commit 16c7bce pushed by reb-ddm
January 20, 2025 08:45 10m 22s families-of-models
families-of-models
January 20, 2025 08:45 10m 22s
fix(ci): playwright test screenshot diff after browser updates ci #484: Commit 7fd4050 pushed by antoinepouille
January 14, 2025 12:55 26m 55s master
master
January 14, 2025 12:55 26m 55s
fix(ci): playwright test screenshot diff after browser updates ci #483: Commit 1653f40 pushed by antoinepouille
January 14, 2025 11:10 24m 31s onde/fix-ci-130125
onde/fix-ci-130125
January 14, 2025 11:10 24m 31s
fix(ci): playwright test screenshot diff after browser updates ci #482: Commit b1f50a8 pushed by antoinepouille
January 13, 2025 15:58 25m 50s onde/fix-ci-130125
onde/fix-ci-130125
January 13, 2025 15:58 25m 50s
Add VSCode extension for syntax coloring ci #481: Commit a3908b8 pushed by antoinepouille
January 13, 2025 14:06 34m 21s master
master
January 13, 2025 14:06 34m 21s
fixup ci #480: Commit 90fc05f pushed by antoinepouille
January 13, 2025 14:04 17m 12s debug_dead_rules
debug_dead_rules
January 13, 2025 14:04 17m 12s
Add VSCode extension for syntax coloring ci #479: Commit 0d2cc99 pushed by antoinepouille
January 13, 2025 14:01 31m 29s onde/vscode-syntax-coloring
onde/vscode-syntax-coloring
January 13, 2025 14:01 31m 29s
Add VSCode extension for syntax coloring ci #478: Commit 504f852 pushed by antoinepouille
January 13, 2025 13:58 33m 12s onde/playwright-electron
onde/playwright-electron
January 13, 2025 13:58 33m 12s
dune fmt ci #477: Commit f7c5782 pushed by reb-ddm
January 9, 2025 16:23 11m 34s families-of-models
families-of-models
January 9, 2025 16:23 11m 34s
changed type of bdu to an int type whose first n numbers represent th… ci #476: Commit abfb1c6 pushed by reb-ddm
January 9, 2025 13:58 10m 11s families-of-models
families-of-models
January 9, 2025 13:58 10m 11s
add sum type of site and guard ci #475: Commit 63e0d7e pushed by reb-ddm
January 8, 2025 09:06 16m 56s families-of-models
families-of-models
January 8, 2025 09:06 16m 56s
add guard parameters to kappa_handler ci #474: Commit 656c969 pushed by reb-ddm
December 11, 2024 15:39 14m 36s families-of-models
families-of-models
December 11, 2024 15:39 14m 36s
fix formatting ci #473: Commit b065762 pushed by reb-ddm
December 11, 2024 14:37 14m 31s families-of-models
families-of-models
December 11, 2024 14:37 14m 31s
compute the set of all guard parameters used in the kappa code ci #472: Commit a112d32 pushed by reb-ddm
December 11, 2024 14:31 14m 18s families-of-models
families-of-models
December 11, 2024 14:31 14m 18s
defined print function for guards ci #471: Commit d65293f pushed by reb-ddm
December 11, 2024 11:48 18m 36s families-of-models
families-of-models
December 11, 2024 11:48 18m 36s
test(webapp): setup electron tests ci #470: Commit dbe8029 pushed by antoinepouille
December 5, 2024 16:09 25m 26s master
master
December 5, 2024 16:09 25m 26s
test(webapp): setup electron tests ci #469: Commit 41231da pushed by antoinepouille
December 5, 2024 15:42 24m 28s onde/playwright-electron
onde/playwright-electron
December 5, 2024 15:42 24m 28s
change comment symbol in .mly to /*, as (* does not compile ci #468: Commit 4e1ced8 pushed by reb-ddm
December 5, 2024 15:29 17m 4s families-of-models
families-of-models
December 5, 2024 15:29 17m 4s
test(webapp): setup electron tests ci #467: Commit f3bb7f5 pushed by antoinepouille
December 5, 2024 15:05 26m 1s onde/playwright-electron
onde/playwright-electron
December 5, 2024 15:05 26m 1s
add parameters to data structure of the rules and change name to guar… ci #466: Commit a0cbef3 pushed by reb-ddm
December 5, 2024 14:54 14m 34s families-of-models
families-of-models
December 5, 2024 14:54 14m 34s
fix(ci): disable contact map png playwright test on firefox as it dif… ci #465: Commit 3b8142c pushed by antoinepouille
December 5, 2024 14:19 25m 46s master
master
December 5, 2024 14:19 25m 46s
test DISPLAY envvar ci #464: Commit b5b54c6 pushed by antoinepouille
December 5, 2024 13:36 44m 14s onde/playwright-electron
onde/playwright-electron
December 5, 2024 13:36 44m 14s
WIP_xvfb ci #463: Commit 5d9a371 pushed by antoinepouille
December 4, 2024 16:56 9m 18s onde/playwright-electron
onde/playwright-electron
December 4, 2024 16:56 9m 18s