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

fixed merge conflict Test #296: Commit 4829b7b pushed by PimLeerkes
October 4, 2024 08:17 1m 59s 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:17 1m 59s
tests fix? Test #295: Commit 6d4b4f5 pushed by PimLeerkes
October 4, 2024 08:07 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:07 2m 7s
linter fix? Test #294: Commit 8ec8392 pushed by PimLeerkes
October 4, 2024 07:38 2m 8s 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 07:38 2m 8s
List kernels Test #293: Commit a88cd15 pushed by linusheck
October 3, 2024 10:53 7m 41s 61-naive-value-iteration
61-naive-value-iteration
October 3, 2024 10:53 7m 41s
Re-run notebooks Test #292: Commit 0fccd74 pushed by linusheck
October 3, 2024 08:08 2h 42m 32s 61-naive-value-iteration
61-naive-value-iteration
October 3, 2024 08:08 2h 42m 32s
Fix die notebook Test #291: Commit 5cea1d1 pushed by linusheck
October 3, 2024 08:00 9m 32s 61-naive-value-iteration
61-naive-value-iteration
October 3, 2024 08:00 9m 32s
Merge branch 'add-pytest-mock' into 61-naive-value-iteration Test #290: Commit 876775e pushed by linusheck
October 3, 2024 07:55 2m 23s 61-naive-value-iteration
61-naive-value-iteration
October 3, 2024 07:55 2m 23s
small vis issues Test #289: Commit baac77a pushed by YouGuessedMyName
October 2, 2024 15:54 2m 10s 88-visualization-small-improvements
88-visualization-small-improvements
October 2, 2024 15:54 2m 10s
Merge remote-tracking branch 'origin/add-pytest-mock' into 61-naive-v… Test #288: Commit 769e247 pushed by YouGuessedMyName
October 2, 2024 15:10 2m 15s 61-naive-value-iteration
61-naive-value-iteration
October 2, 2024 15:10 2m 15s
Add pytest-mock Test #287: Commit 5773fbd pushed by linusheck
October 1, 2024 08:42 2m 9s add-pytest-mock
add-pytest-mock
October 1, 2024 08:42 2m 9s
Finish naive value iteration Test #286: Commit 15553cf pushed by YouGuessedMyName
September 30, 2024 17:09 2m 13s 61-naive-value-iteration
61-naive-value-iteration
September 30, 2024 17:09 2m 13s
Start naive value iteration Test #285: Commit 649d578 pushed by YouGuessedMyName
September 30, 2024 16:50 2m 7s 61-naive-value-iteration
61-naive-value-iteration
September 30, 2024 16:50 2m 7s
small changes Test #284: Commit b689c36 pushed by PimLeerkes
September 30, 2024 12:40 2m 5s 94-unable-to-transform-model-with-deleted-states-into-stormpy-model
94-unable-to-transform-model-with-deleted-states-into-stormpy-model
September 30, 2024 12:40 2m 5s
refactoring Test #283: Commit 9df560f pushed by PimLeerkes
September 30, 2024 12:04 2m 1s 94-unable-to-transform-model-with-deleted-states-into-stormpy-model
94-unable-to-transform-model-with-deleted-states-into-stormpy-model
September 30, 2024 12:04 2m 1s
Add running documentation notebooks to test Test #282: Commit b950329 pushed by linusheck
September 30, 2024 08:24 2m 4s main
main
September 30, 2024 08:24 2m 4s
normalize, delete_state, is_well_defined and get_outgoing_transitions… Test #281: Commit 87e9044 pushed by PimLeerkes
September 28, 2024 17:58 2m 7s 94-unable-to-transform-model-with-deleted-states-into-stormpy-model
94-unable-to-transform-model-with-deleted-states-into-stormpy-model
September 28, 2024 17:58 2m 7s
delete_state and normalize function now seem to work Test #280: Commit 7c418b8 pushed by PimLeerkes
September 28, 2024 17:34 2m 6s 94-unable-to-transform-model-with-deleted-states-into-stormpy-model
94-unable-to-transform-model-with-deleted-states-into-stormpy-model
September 28, 2024 17:34 2m 6s
Merge pull request #104 from moves-rwth/54-refactor Test #279: Commit f37171c pushed by YouGuessedMyName
September 28, 2024 15:08 2m 1s main
main
September 28, 2024 15:08 2m 1s
Added more visualization tests Test #278: Commit a85aa6a pushed by YouGuessedMyName
September 28, 2024 15:07 2m 20s 54-refactor
54-refactor
September 28, 2024 15:07 2m 20s
also added mapping from stormvogel ids to stormpy ids Test #277: Commit 6028e43 pushed by PimLeerkes
September 28, 2024 11:49 2m 0s 94-unable-to-transform-model-with-deleted-states-into-stormpy-model
94-unable-to-transform-model-with-deleted-states-into-stormpy-model
September 28, 2024 11:49 2m 0s
Added visualization test Test #276: Commit f9e9f38 pushed by YouGuessedMyName
September 26, 2024 19:28 2m 7s 54-refactor
54-refactor
September 26, 2024 19:28 2m 7s
Merge pull request #100 from moves-rwth/98-transitions-are-not-sorted… Test #275: Commit 9c92914 pushed by YouGuessedMyName
September 26, 2024 15:32 2m 7s 54-refactor
54-refactor
September 26, 2024 15:32 2m 7s
in state deletion method we now loop through sorted dictionary + begi… Test #274: Commit d8facd9 pushed by PimLeerkes
September 25, 2024 14:24 2m 10s 94-unable-to-transform-model-with-deleted-states-into-stormpy-model
94-unable-to-transform-model-with-deleted-states-into-stormpy-model
September 25, 2024 14:24 2m 10s
remove transitions and get outgoing transitions methods Test #273: Commit 95f9c2a pushed by PimLeerkes
September 25, 2024 13:46 2m 15s 94-unable-to-transform-model-with-deleted-states-into-stormpy-model
94-unable-to-transform-model-with-deleted-states-into-stormpy-model
September 25, 2024 13:46 2m 15s
added state names Test #272: Commit 35a4e85 pushed by PimLeerkes
September 25, 2024 12:58 2m 5s 94-unable-to-transform-model-with-deleted-states-into-stormpy-model
94-unable-to-transform-model-with-deleted-states-into-stormpy-model
September 25, 2024 12:58 2m 5s