Skip to content

Actions: sybila/boolean-network-sketches

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
13 workflow runs
13 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Start working on analysis of HCTL with placeholders. build #29: Commit 1bdb60d pushed by ondrej33
February 26, 2024 20:12 4m 17s hctl-with-placeholders
hctl-with-placeholders
February 26, 2024 20:12 4m 17s
Formatting build #28: Commit 5606118 pushed by ondrej33
November 13, 2023 19:53 2m 58s v0.2.0
v0.2.0
November 13, 2023 19:53 2m 58s
Formatting build #27: Commit 5606118 pushed by ondrej33
November 13, 2023 19:40 4m 22s main
main
November 13, 2023 19:40 4m 22s
Fix case study bug introduced by the newest engine version. build #26: Commit 89f0338 pushed by ondrej33
November 13, 2023 19:37 53s main
main
November 13, 2023 19:37 53s
Merge pull request #2 from sybila/dev-network-generating build #25: Commit a474032 pushed by ondrej33
November 13, 2023 18:46 4m 10s main
main
November 13, 2023 18:46 4m 10s
Merge branch 'main' into dev-network-generating build #24: Commit 1cd6de3 pushed by ondrej33
November 13, 2023 18:40 4m 40s dev-network-generating
dev-network-generating
November 13, 2023 18:40 4m 40s
Bump version build #23: Commit 40577e7 pushed by ondrej33
November 13, 2023 18:04 3m 50s dev-network-generating
dev-network-generating
November 13, 2023 18:04 3m 50s
Update dependencies, modify progress output and error handling. build #22: Commit 9c9105b pushed by ondrej33
November 13, 2023 17:59 3m 51s dev-network-generating
dev-network-generating
November 13, 2023 17:59 3m 51s
Freeze original dependencies to restore compatibility of the artifact build #21: Commit 5e5c183 pushed by ondrej33
September 8, 2023 17:39 5m 55s v0.1.0
v0.1.0
September 8, 2023 17:39 5m 55s
Freeze original dependencies to restore compatibility of the artifact build #20: Commit 5e5c183 pushed by ondrej33
September 8, 2023 17:24 6m 35s main
main
September 8, 2023 17:24 6m 35s
Update zenodo link build #19: Commit 7c4144f pushed by ondrej33
September 7, 2023 15:35 3m 40s v0.1.0
v0.1.0
September 7, 2023 15:35 3m 40s
Bump model checker version build #18: Commit 9d8fff8 pushed by ondrej33
September 2, 2023 16:24 4m 8s dev-network-generating
dev-network-generating
September 2, 2023 16:24 4m 8s
Adjust observation displaying, add tests, bump rust version build #17: Commit 7e687e3 pushed by ondrej33
September 2, 2023 12:34 4m 48s dev-network-generating
dev-network-generating
September 2, 2023 12:34 4m 48s