Skip to content

Actions: Kappa-Dev/KappaTools

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
383 workflow runs
383 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
github_actions in /. - Update #950100244 Dependabot Updates #20: by dependabot bot
January 20, 2025 03:08 37s master
master
January 20, 2025 03:08 37s
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
github_actions in /. - Update #946549792 Dependabot Updates #19: by dependabot bot
January 13, 2025 02:17 41s master
master
January 13, 2025 02:17 41s
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
github_actions in /. - Update #943156565 Dependabot Updates #18: by dependabot bot
January 6, 2025 02:48 42s master
master
January 6, 2025 02:48 42s
github_actions in /. - Update #939645640 Dependabot Updates #17: by dependabot bot
December 30, 2024 02:40 42s master
master
December 30, 2024 02:40 42s
github_actions in /. - Update #936563092 Dependabot Updates #16: by dependabot bot
December 23, 2024 02:33 43s master
master
December 23, 2024 02:33 43s
github_actions in /. - Update #932910287 Dependabot Updates #15: by dependabot bot
December 16, 2024 02:18 39s master
master
December 16, 2024 02:18 39s
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
github_actions in /. - Update #929195733 Dependabot Updates #14: by dependabot bot
December 9, 2024 02:32 40s master
master
December 9, 2024 02:32 40s
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