Skip to content

Actions: moves-rwth/stormvogel

Actions

Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
446 workflow runs
446 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

poetry.lock and pyproject.toml from main Test #321: Commit f45bd76 pushed by YouGuessedMyName
October 12, 2024 12:37 Failure 61-naive-value-iteration
61-naive-value-iteration
October 12, 2024 12:37 Failure
Merge branch 'main' into 61-naive-value-iteration Test #320: Commit b73b0aa pushed by YouGuessedMyName
October 12, 2024 12:32 Failure 61-naive-value-iteration
61-naive-value-iteration
October 12, 2024 12:32 Failure
fix merge conflict Test #319: Commit 552311a pushed by YouGuessedMyName
October 12, 2024 12:27 1m 55s 88-visualization-small-improvements
88-visualization-small-improvements
October 12, 2024 12:27 1m 55s
reward model now gets added correctly to a partial model Test #318: Commit e0dd866 pushed by PimLeerkes
October 10, 2024 09:22 3m 35s 33-use-markov-chain-mdp-simulator-and-show-partial-mdps
33-use-markov-chain-mdp-simulator-and-show-partial-mdps
October 10, 2024 09:22 3m 35s
actions are now better represented Test #317: Commit 12b9570 pushed by PimLeerkes
October 10, 2024 08:32 2m 13s 33-use-markov-chain-mdp-simulator-and-show-partial-mdps
33-use-markov-chain-mdp-simulator-and-show-partial-mdps
October 10, 2024 08:32 2m 13s
created path class Test #316: Commit 3dec89f pushed by PimLeerkes
October 10, 2024 07:36 2m 9s 33-use-markov-chain-mdp-simulator-and-show-partial-mdps
33-use-markov-chain-mdp-simulator-and-show-partial-mdps
October 10, 2024 07:36 2m 9s
added simulate path functions and actions/rewards are added to partia… Test #315: Commit 827da2b pushed by PimLeerkes
October 9, 2024 19:27 2m 19s 33-use-markov-chain-mdp-simulator-and-show-partial-mdps
33-use-markov-chain-mdp-simulator-and-show-partial-mdps
October 9, 2024 19:27 2m 19s
a scheduler can now be provided to select the actions Test #314: Commit 397f8ae pushed by PimLeerkes
October 9, 2024 13:31 2m 20s 33-use-markov-chain-mdp-simulator-and-show-partial-mdps
33-use-markov-chain-mdp-simulator-and-show-partial-mdps
October 9, 2024 13:31 2m 20s
small changes Test #313: Commit d4876b3 pushed by PimLeerkes
October 9, 2024 12:41 2m 19s 33-use-markov-chain-mdp-simulator-and-show-partial-mdps
33-use-markov-chain-mdp-simulator-and-show-partial-mdps
October 9, 2024 12:41 2m 19s
simulator now also works for mdps Test #312: Commit 9d42238 pushed by PimLeerkes
October 9, 2024 12:28 2m 20s 33-use-markov-chain-mdp-simulator-and-show-partial-mdps
33-use-markov-chain-mdp-simulator-and-show-partial-mdps
October 9, 2024 12:28 2m 20s
Merge pull request #110 from moves-rwth/109-add-tests-for-the-new-non… Test #311: Commit 571be0b pushed by PimLeerkes
October 9, 2024 11:48 2m 14s main
main
October 9, 2024 11:48 2m 14s
added comments Test #310: Commit b97af13 pushed by PimLeerkes
October 9, 2024 11:43 2m 18s 109-add-tests-for-the-new-nontrivial-methods-in-modelpy
109-add-tests-for-the-new-nontrivial-methods-in-modelpy
October 9, 2024 11:43 2m 18s
added test for remove_transitions_between_states Test #309: Commit e47ba19 pushed by PimLeerkes
October 5, 2024 14:28 2m 2s 109-add-tests-for-the-new-nontrivial-methods-in-modelpy
109-add-tests-for-the-new-nontrivial-methods-in-modelpy
October 5, 2024 14:28 2m 2s
added tests for normalize and delete_state Test #308: Commit 6e5cb3a pushed by PimLeerkes
October 5, 2024 13:52 2m 2s 109-add-tests-for-the-new-nontrivial-methods-in-modelpy
109-add-tests-for-the-new-nontrivial-methods-in-modelpy
October 5, 2024 13:52 2m 2s
added test for transition_from_shorthand and is_well_defined Test #307: Commit 1374878 pushed by PimLeerkes
October 5, 2024 11:39 2m 9s 109-add-tests-for-the-new-nontrivial-methods-in-modelpy
109-add-tests-for-the-new-nontrivial-methods-in-modelpy
October 5, 2024 11:39 2m 9s
added the first two tests Test #306: Commit 668d313 pushed by PimLeerkes
October 4, 2024 13:08 2m 6s 109-add-tests-for-the-new-nontrivial-methods-in-modelpy
109-add-tests-for-the-new-nontrivial-methods-in-modelpy
October 4, 2024 13:08 2m 6s
Merge pull request #102 from moves-rwth/94-unable-to-transform-model-… Test #305: Commit 8808595 pushed by PimLeerkes
October 4, 2024 12:40 2m 3s 109-add-tests-for-the-new-nontrivial-methods-in-modelpy
109-add-tests-for-the-new-nontrivial-methods-in-modelpy
October 4, 2024 12:40 2m 3s
basic simulator works for dtmc Test #304: Commit 751e4dd pushed by PimLeerkes
October 4, 2024 11:06 2m 8s 33-use-markov-chain-mdp-simulator-and-show-partial-mdps
33-use-markov-chain-mdp-simulator-and-show-partial-mdps
October 4, 2024 11:06 2m 8s
Merge pull request #102 from moves-rwth/94-unable-to-transform-model-… Test #303: Commit 8808595 pushed by PimLeerkes
October 4, 2024 09:12 2m 5s 33-use-markov-chain-mdp-simulator-and-show-partial-mdps
33-use-markov-chain-mdp-simulator-and-show-partial-mdps
October 4, 2024 09:12 2m 5s
Merge pull request #102 from moves-rwth/94-unable-to-transform-model-… Test #302: Commit 8808595 pushed by PimLeerkes
October 4, 2024 08:53 2m 3s main
main
October 4, 2024 08:53 2m 3s
Update test.yml Test #301: Commit 9ee4e5a pushed by PimLeerkes
October 4, 2024 08:45 2m 11s 94-unable-to-transform-model-with-deleted-states-into-stormpy-model
94-unable-to-transform-model-with-deleted-states-into-stormpy-model
October 4, 2024 08:45 2m 11s
Update docs.yml Test #300: Commit 3b0641e pushed by PimLeerkes
October 4, 2024 08:41 2m 11s 94-unable-to-transform-model-with-deleted-states-into-stormpy-model
94-unable-to-transform-model-with-deleted-states-into-stormpy-model
October 4, 2024 08:41 2m 11s
commented out ma tests Test #299: Commit 0f5a2d9 pushed by PimLeerkes
October 4, 2024 08:38 2m 0s 94-unable-to-transform-model-with-deleted-states-into-stormpy-model
94-unable-to-transform-model-with-deleted-states-into-stormpy-model
October 4, 2024 08:38 2m 0s
Merge branch '94-unable-to-transform-model-with-deleted-states-into-s… Test #298: Commit 8e7450e pushed by PimLeerkes
October 4, 2024 08:26 2m 9s 94-unable-to-transform-model-with-deleted-states-into-stormpy-model
94-unable-to-transform-model-with-deleted-states-into-stormpy-model
October 4, 2024 08:26 2m 9s
Update test.yml Test #297: Commit ed0c742 pushed by PimLeerkes
October 4, 2024 08:20 2m 7s 94-unable-to-transform-model-with-deleted-states-into-stormpy-model
94-unable-to-transform-model-with-deleted-states-into-stormpy-model
October 4, 2024 08:20 2m 7s