Skip to content

Actions: sybila/biodivine-bn-classifier

Actions

test-on-pr

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test_build.yml
34 workflow runs
34 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

One additional version file. test-on-pr #84: Commit 142217b pushed by daemontus
July 8, 2024 18:11 7m 23s v0.2.3-2
v0.2.3-2
July 8, 2024 18:11 7m 23s
One additional version file. test-on-pr #83: Commit 142217b pushed by daemontus
July 8, 2024 18:10 7m 31s main
main
July 8, 2024 18:10 7m 31s
Update CI files. test-on-pr #82: Commit b606d10 pushed by daemontus
July 8, 2024 17:51 7m 10s v0.2.3-2
v0.2.3-2
July 8, 2024 17:51 7m 10s
Update CI files. test-on-pr #81: Commit b606d10 pushed by daemontus
July 8, 2024 17:43 6m 23s main
main
July 8, 2024 17:43 6m 23s
Bump versions, add instructions to manual. test-on-pr #80: Commit cac7ca4 pushed by ondrej33
July 7, 2024 11:33 6m 9s main
main
July 7, 2024 11:33 6m 9s
Update instructions on benchmarks. test-on-pr #79: Commit 8f0f1f5 pushed by ondrej33
May 12, 2024 12:46 6m 49s main
main
May 12, 2024 12:46 6m 49s
Update README.md test-on-pr #78: Commit 02fa92d pushed by ondrej33
May 12, 2024 11:30 6m 49s main
main
May 12, 2024 11:30 6m 49s
Update details regarding tutorial. test-on-pr #77: Commit da5684a pushed by ondrej33
February 20, 2024 09:50 8m 44s main
main
February 20, 2024 09:50 8m 44s
Update instructions. test-on-pr #76: Commit 1149ac4 pushed by ondrej33
February 20, 2024 09:30 7m 5s main
main
February 20, 2024 09:30 7m 5s
Update instructions, tutorial, manual, and benchmarks test-on-pr #75: Commit f49a3cb pushed by ondrej33
October 30, 2023 14:37 14m 24s main
main
October 30, 2023 14:37 14m 24s
Update instructions, tutorial, manual, and benchmarks test-on-pr #74: Commit 9f40859 pushed by ondrej33
October 30, 2023 14:33 15m 51s main
main
October 30, 2023 14:33 15m 51s
Extend benchmarks, update instructions. test-on-pr #73: Commit c2097d1 pushed by ondrej33
October 25, 2023 20:45 10m 42s main
main
October 25, 2023 20:45 10m 42s
Fix label for a model. test-on-pr #72: Commit 9805769 pushed by ondrej33
October 25, 2023 09:51 15m 24s main
main
October 25, 2023 09:51 15m 24s
Update tutorial test-on-pr #71: Commit 65e8f3f pushed by daemontus
October 23, 2023 19:41 14m 5s v0.2.3
v0.2.3
October 23, 2023 19:41 14m 5s
Update tutorial test-on-pr #70: Commit 65e8f3f pushed by ondrej33
October 22, 2023 08:50 11m 30s main
main
October 22, 2023 08:50 11m 30s
Add initial version of the tutorial test-on-pr #69: Commit 4d64258 pushed by ondrej33
October 21, 2023 20:54 14m 5s main
main
October 21, 2023 20:54 14m 5s
Add all the benchmarks regarding the tool's evaluation. test-on-pr #68: Commit 2478290 pushed by ondrej33
October 21, 2023 19:33 12m 14s main
main
October 21, 2023 19:33 12m 14s
Update classifier's source code to the newest version. test-on-pr #67: Commit 0ddab2c pushed by ondrej33
October 21, 2023 18:03 11m 11s old-benchmarks
old-benchmarks
October 21, 2023 18:03 11m 11s
Update classifier's source code to the newest version. test-on-pr #66: Commit 0ddab2c pushed by ondrej33
October 21, 2023 08:41 11m 52s main
main
October 21, 2023 08:41 11m 52s
Add button for tree export. test-on-pr #65: Commit cd277cd pushed by ondrej33
October 20, 2023 16:40 14m 26s main
main
October 20, 2023 16:40 14m 26s
Update classifier version number. test-on-pr #64: Commit 6caaf8e pushed by daemontus
September 26, 2023 11:20 16m 51s main
main
September 26, 2023 11:20 16m 51s
Migrate to latest model checker version. test-on-pr #63: Commit 054eb4a pushed by daemontus
September 26, 2023 10:43 12m 18s v0.2.2
v0.2.2
September 26, 2023 10:43 12m 18s
Migrate to latest model checker version. test-on-pr #62: Commit 054eb4a pushed by daemontus
September 26, 2023 10:14 12m 22s main
main
September 26, 2023 10:14 12m 22s
Show file-open dialog after the window opens and allow archives witho… test-on-pr #61: Commit 0cb257d pushed by daemontus
September 26, 2023 10:00 11m 46s main
main
September 26, 2023 10:00 11m 46s
Merge pull request #10 from sybila/dev-sanitized-bdds test-on-pr #60: Commit 5f881d1 pushed by daemontus
September 4, 2023 17:47 11m 38s v0.2.1
v0.2.1
September 4, 2023 17:47 11m 38s