Skip to content

Actions: bnediction/bonesis

Actions

Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
tests.yml
32 workflow runs
32 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

conda: use flexible channel Tests #110: Commit a40e7b4 pushed by pauleve
October 23, 2024 16:52 3m 2s master
master
October 23, 2024 16:52 3m 2s
add clingo 5.7 to tests Tests #109: Commit 5ee4429 pushed by pauleve
October 23, 2024 16:44 3m 3s master
master
October 23, 2024 16:44 3m 3s
update actions Tests #108: Commit fb2c7a5 pushed by pauleve
October 23, 2024 16:36 2m 29s master
master
October 23, 2024 16:36 2m 29s
follow AEON API changes (bug #6) Tests #107: Commit e9950a7 pushed by pauleve
October 22, 2024 20:46 2m 30s v0.6.7
v0.6.7
October 22, 2024 20:46 2m 30s
follow AEON API changes (bug #6) Tests #106: Commit e9950a7 pushed by pauleve
October 22, 2024 16:51 2m 20s master
master
October 22, 2024 16:51 2m 20s
aeon: fix compat issue Tests #105: Commit 67f34b0 pushed by pauleve
August 28, 2024 13:57 1m 12s v0.6.6
v0.6.6
August 28, 2024 13:57 1m 12s
aeon: fix compat issue Tests #104: Commit 67f34b0 pushed by pauleve
June 25, 2024 09:21 45s master
master
June 25, 2024 09:21 45s
fix CEGAR reprogramming of ensemble of BNs Tests #103: Commit 3a1bb0e pushed by pauleve
June 20, 2024 22:25 58s master
master
June 20, 2024 22:25 58s
add support for CLINGO_OPTS envvar Tests #102: Commit cd2fc9e pushed by pauleve
June 14, 2024 20:58 46s master
master
June 14, 2024 20:58 46s
move to documentation Tests #101: Commit 60ca6da pushed by pauleve
April 30, 2024 08:59 49s master
master
April 30, 2024 08:59 49s
Create book.yml Tests #100: Commit c2ec17a pushed by pauleve
April 29, 2024 15:32 46s master
master
April 29, 2024 15:32 46s
support non-string nodes when parsing configurations from ASP facts Tests #99: Commit 1b8be11 pushed by pauleve
April 13, 2024 08:47 49s master
master
April 13, 2024 08:47 49s
language: add support for ObservationVar on left of nonreach operator Tests #98: Commit a3499d5 pushed by pauleve
March 28, 2024 14:45 50s v0.6.5
v0.6.5
March 28, 2024 14:45 50s
language: add support for ObservationVar on left of nonreach operator Tests #97: Commit a3499d5 pushed by pauleve
March 28, 2024 14:43 59s master
master
March 28, 2024 14:43 59s
asp encoding: more predictable fresh identifiers Tests #96: Commit c9e30e3 pushed by pauleve
March 26, 2024 22:41 49s master
master
March 26, 2024 22:41 49s
nonreach: simpler encoding when right is an observation Tests #95: Commit 6fb47aa pushed by pauleve
March 6, 2024 21:57 55s master
master
March 6, 2024 21:57 55s
reach: simpler encoding when right is an observation Tests #94: Commit 9367d4a pushed by pauleve
March 6, 2024 21:18 58s master
master
March 6, 2024 21:18 58s
reach: simpler encoding when right is an observation Tests #93: Commit 40d74bf pushed by pauleve
March 6, 2024 21:10 56s master
master
March 6, 2024 21:10 56s
use solve handler only if it exists Tests #92: Commit 4dd8459 pushed by pauleve
January 23, 2024 11:14 49s master
master
January 23, 2024 11:14 49s
shut down resolution when limit is reached Tests #91: Commit a54fa4c pushed by pauleve
January 23, 2024 11:07 43s master
master
January 23, 2024 11:07 43s
sanitize node identifiers before mpbn conversion Tests #90: Commit 100e857 pushed by pauleve
January 22, 2024 22:37 50s master
master
January 22, 2024 22:37 50s
add option to fetch intermediate optimization results Tests #89: Commit c307a17 pushed by pauleve
January 19, 2024 09:59 49s master
master
January 19, 2024 09:59 49s
marker reprogramming: extract relevant sub-network beforhand Tests #88: Commit f2e9c04 pushed by pauleve
December 21, 2023 15:29 45s v0.6.1
v0.6.1
December 21, 2023 15:29 45s
marker reprogramming: extract relevant sub-network beforhand Tests #87: Commit f2e9c04 pushed by pauleve
December 5, 2023 22:07 46s master
master
December 5, 2023 22:07 46s
readme Tests #86: Commit 4b05330 pushed by pauleve
November 28, 2023 09:07 57s v0.6.0
v0.6.0
November 28, 2023 09:07 57s