Skip to content

Actions: sybila/biodivine-bn-classifier

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
39 workflow runs
39 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. binaries #11: Commit 142217b pushed by daemontus
July 8, 2024 18:11 8m 10s v0.2.3-2
v0.2.3-2
July 8, 2024 18:11 8m 10s
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. binaries #10: Commit b606d10 pushed by daemontus
July 8, 2024 17:51 7m 18s v0.2.3-2
v0.2.3-2
July 8, 2024 17:51 7m 18s
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 binaries #9: Commit 65e8f3f pushed by daemontus
October 23, 2023 19:41 14m 58s v0.2.3
v0.2.3
October 23, 2023 19:41 14m 58s
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