Skip to content

Actions: Kappa-Dev/KappaTools

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
439 workflow runs
439 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
github_actions in /. - Update #1382295059 Dependabot Updates #107: by dependabot Bot
42s master
master
42s
fix typos ci #1142: Commit 6c2aabe pushed by reb-ddm
12m 19s incremental-KaSa
incremental-KaSa
12m 19s
add incremental static analysis to pykappa ci #1141: Commit 331d448 pushed by reb-ddm
12m 10s incremental-KaSa
incremental-KaSa
12m 10s
github_actions in /. - Update #1371205195 Dependabot Updates #106: by dependabot Bot
32s master
master
32s
fix generation of alternative text ci #1140: Commit fe47927 pushed by reb-ddm
12m 28s incremental-KaSa
incremental-KaSa
12m 28s
make parallel bond / site across bond domains preprocessig incremental ci #1139: Commit 42e801b pushed by feret
11m 52s incremental-KaSa
incremental-KaSa
11m 52s
remove the logarithmic scale and made the plot wider ci #1138: Commit 7c0807f pushed by reb-ddm
11m 42s incremental-KaSa
incremental-KaSa
11m 42s
benchmarks ci #1137: Commit 656873f pushed by feret
12m 8s incremental-KaSa
incremental-KaSa
12m 8s
no need to rerun the whole analysis to add the printing time ci #1136: Commit 9c380fa pushed by reb-ddm
12m 24s incremental-KaSa
incremental-KaSa
12m 24s
update the manual with Parametric models and incremental analysis ci #1135: Commit 8623b73 pushed by reb-ddm
11m 58s incremental-KaSa
incremental-KaSa
11m 58s
benchmarks ci #1134: Commit faea5d3 pushed by feret
29m 35s incremental-KaSa
incremental-KaSa
29m 35s
change maximum current chapter size to 80 ci #1133: Commit 6a9151e pushed by reb-ddm
12m 24s incremental-KaSa
incremental-KaSa
12m 24s
script fair comparison between classical and parametric analysis ci #1132: Commit c1e591d pushed by feret
39m 56s incremental-KaSa
incremental-KaSa
39m 56s
fix typos in the documentation ci #1131: Commit 3005599 pushed by reb-ddm
11m 40s incremental-KaSa
incremental-KaSa
11m 40s
profiling ci #1130: Commit cd143e7 pushed by feret
11m 56s incremental-KaSa
incremental-KaSa
11m 56s
github_actions in /. - Update #1358894507 Dependabot Updates #105: by dependabot Bot
40s master
master
40s
correct number of rules for "ensemble" ci #1129: Commit 89f5908 pushed by feret
12m 55s incremental-KaSa
incremental-KaSa
12m 55s
clean parallel domain ci #1128: Commit e9031a9 pushed by feret
11m 23s implicit-booleans
implicit-booleans
11m 23s
removing restriction_bdu from domains ci #1127: Commit eb7ffea pushed by feret
12m 33s implicit-booleans
implicit-booleans
12m 33s
sanity tests ci #1126: Commit 6e701d8 pushed by feret
11m 50s implicit-booleans
implicit-booleans
11m 50s
compress Boolean variable when allocating bdds ci #1125: Commit db52886 pushed by feret
14m 15s implicit-booleans
implicit-booleans
14m 15s
correct number of rules for "ensemble" ci #1124: Commit 0b1c4dd pushed by reb-ddm
37m 42s incremental-KaSa
incremental-KaSa
37m 42s
fmt ci #1123: Commit 3f34106 pushed by feret
11m 7s incremental-KaSa
incremental-KaSa
11m 7s
Be careful, rules with creation should be tested to deal with implici… ci #1122: Commit 4522577 pushed by feret
11m 22s incremental-KaSa
incremental-KaSa
11m 22s
fix bug where the new added rules are not added to the event list ci #1121: Commit 29dd144 pushed by reb-ddm
12m 55s incremental-KaSa
incremental-KaSa
12m 55s