Skip to content

Actions: Kappa-Dev/KappaTools

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
393 workflow runs
393 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add macro for sequential binding of sites ci #519: Commit 8415c9e pushed by reb-ddm
March 3, 2025 15:59 17m 31s families-of-models
families-of-models
March 3, 2025 15:59 17m 31s
github_actions in /. - Update #973219851 Dependabot Updates #26: by dependabot bot
March 3, 2025 02:51 42s master
master
March 3, 2025 02:51 42s
set local_trace to false ci #518: Commit 0c7c967 pushed by reb-ddm
February 24, 2025 09:55 12m 20s families-of-models
families-of-models
February 24, 2025 09:55 12m 20s
github_actions in /. - Update #969097198 Dependabot Updates #25: by dependabot bot
February 24, 2025 02:22 41s master
master
February 24, 2025 02:22 41s
first sites and then guards in the covering class ci #517: Commit 1426a66 pushed by reb-ddm
February 19, 2025 15:18 14m 22s families-of-models
families-of-models
February 19, 2025 15:18 14m 22s
fix renaming of guard parameters ci #516: Commit c87305c pushed by reb-ddm
February 19, 2025 14:39 11m 15s families-of-models
families-of-models
February 19, 2025 14:39 11m 15s
added initial state bdu to parallel bonds domain ci #515: Commit a5224da pushed by reb-ddm
February 18, 2025 13:23 12m 26s families-of-models
families-of-models
February 18, 2025 13:23 12m 26s
add initial state guard to agents domain ci #514: Commit 15bad79 pushed by reb-ddm
February 17, 2025 13:14 12m 53s families-of-models
families-of-models
February 17, 2025 13:14 12m 53s
disable initial mixture in KaSim if the guard is false ci #513: Commit f0e2064 pushed by reb-ddm
February 17, 2025 11:09 33m 15s families-of-models
families-of-models
February 17, 2025 11:09 33m 15s
github_actions in /. - Update #965348643 Dependabot Updates #24: by dependabot bot
February 17, 2025 02:41 43s master
master
February 17, 2025 02:41 43s
disable rules in the simulator when the guard is false and add locati… ci #512: Commit 5215298 pushed by reb-ddm
February 14, 2025 16:01 9m 2s families-of-models
families-of-models
February 14, 2025 16:01 9m 2s
changed name of added guards for rules ci #511: Commit c27758c pushed by reb-ddm
February 13, 2025 13:42 12m 42s families-of-models
families-of-models
February 13, 2025 13:42 12m 42s
added the working set to the grammar ci #510: Commit c2f374a pushed by reb-ddm
February 13, 2025 12:35 13m 41s families-of-models
families-of-models
February 13, 2025 12:35 13m 41s
added working_set token ci #509: Commit c3b947d pushed by reb-ddm
February 12, 2025 16:23 14m 43s families-of-models
families-of-models
February 12, 2025 16:23 14m 43s
propagate bdu_handler in rule_domain ci #508: Commit 9474b57 pushed by reb-ddm
February 12, 2025 15:23 34m 37s families-of-models
families-of-models
February 12, 2025 15:23 34m 37s
first decompose before printing (for agent_domain, rule_domain and pa… ci #507: Commit 44e4e0b pushed by reb-ddm
February 12, 2025 14:19 12m 32s families-of-models
families-of-models
February 12, 2025 14:19 12m 32s
remove wrong exceptions when adding rules for the conflict ci #506: Commit 77df83e pushed by reb-ddm
February 11, 2025 15:47 11m 37s families-of-models
families-of-models
February 11, 2025 15:47 11m 37s
Revert "refactor mod_agent_gen" ci #505: Commit 0003116 pushed by reb-ddm
February 10, 2025 16:44 16m 47s families-of-models
families-of-models
February 10, 2025 16:44 16m 47s
formating ci #504: Commit eb5cf27 pushed by reb-ddm
February 10, 2025 09:41 19m 0s families-of-models
families-of-models
February 10, 2025 09:41 19m 0s
github_actions in /. - Update #961027682 Dependabot Updates #23: by dependabot bot
February 10, 2025 02:21 35s master
master
February 10, 2025 02:21 35s
print ~P instead of P{false} ci #503: Commit 9b5bae5 pushed by reb-ddm
February 6, 2025 13:01 12m 24s families-of-models
families-of-models
February 6, 2025 13:01 12m 24s
removed a comma ci #502: Commit 0226211 pushed by reb-ddm
February 6, 2025 11:12 15m 49s families-of-models
families-of-models
February 6, 2025 11:12 15m 49s
added guard parameters to site_across_bonds_domain in initial_state a… ci #501: Commit 55c054b pushed by reb-ddm
February 4, 2025 16:47 11m 1s families-of-models
families-of-models
February 4, 2025 16:47 11m 1s
remove a comma ci #500: Commit 8ae342c pushed by reb-ddm
February 4, 2025 15:43 18m 55s families-of-models
families-of-models
February 4, 2025 15:43 18m 55s
fixed printing in natural language for parallel bonds ci #499: Commit 3473d44 pushed by reb-ddm
February 4, 2025 13:04 10m 24s families-of-models
families-of-models
February 4, 2025 13:04 10m 24s