Skip to content

Actions: moves-rwth/stormvogel

Actions

Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
492 workflow runs
492 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

simulator test now works Test #467: Commit ac30463 pushed by PimLeerkes
December 22, 2024 12:38 2m 14s remove-action-names
remove-action-names
December 22, 2024 12:38 2m 14s
small changes Test #466: Commit bb69719 pushed by PimLeerkes
December 22, 2024 11:26 2m 17s 158-make-functions-that-help-create-the-property-strings
158-make-functions-that-help-create-the-property-strings
December 22, 2024 11:26 2m 17s
save positions reload Test #465: Commit 4262579 pushed by YouGuessedMyName
December 21, 2024 11:58 2m 10s several-visualization-features
several-visualization-features
December 21, 2024 11:58 2m 10s
fixed loading behaviour, changed some prints to user warnings Test #464: Commit 0167dd8 pushed by YouGuessedMyName
December 21, 2024 11:18 2m 10s several-visualization-features
several-visualization-features
December 21, 2024 11:18 2m 10s
Merge branch 'main' into remove-action-names Test #463: Commit 31eae83 pushed by YouGuessedMyName
December 21, 2024 10:26 2m 12s remove-action-names
remove-action-names
December 21, 2024 10:26 2m 12s
Merge branch 'main' into several-visualization-features Test #462: Commit c3a7f82 pushed by YouGuessedMyName
December 21, 2024 10:25 2m 12s several-visualization-features
several-visualization-features
December 21, 2024 10:25 2m 12s
simulator WIP Test #461: Commit 93a5c9b pushed by YouGuessedMyName
December 21, 2024 10:17 2m 16s several-visualization-features
several-visualization-features
December 21, 2024 10:17 2m 16s
simulator WIP Test #460: Commit 93a5c9b pushed by YouGuessedMyName
December 21, 2024 10:15 2m 19s remove-action-names
remove-action-names
December 21, 2024 10:15 2m 19s
we can now have a path with multiple labels Test #459: Commit 8e1fb4e pushed by PimLeerkes
December 15, 2024 15:00 2m 19s 158-make-functions-that-help-create-the-property-strings
158-make-functions-that-help-create-the-property-strings
December 15, 2024 15:00 2m 19s
small changes Test #458: Commit 43411b9 pushed by PimLeerkes
December 15, 2024 13:59 2m 10s 158-make-functions-that-help-create-the-property-strings
158-make-functions-that-help-create-the-property-strings
December 15, 2024 13:59 2m 10s
refactoring + rewards Test #457: Commit cb7cb8c pushed by PimLeerkes
December 15, 2024 13:41 2m 20s 158-make-functions-that-help-create-the-property-strings
158-make-functions-that-help-create-the-property-strings
December 15, 2024 13:41 2m 20s
interactive property builder can be used from within the model checker Test #456: Commit 859f5b9 pushed by PimLeerkes
December 15, 2024 12:11 2m 20s 158-make-functions-that-help-create-the-property-strings
158-make-functions-that-help-create-the-property-strings
December 15, 2024 12:11 2m 20s
some property string builder ideas Test #455: Commit e5b571b pushed by PimLeerkes
December 14, 2024 16:23 2m 14s 158-make-functions-that-help-create-the-property-strings
158-make-functions-that-help-create-the-property-strings
December 14, 2024 16:23 2m 14s
Merge pull request #162 from moves-rwth/101-make-a-stormvogel-model-c… Test #454: Commit dcd1051 pushed by PimLeerkes
December 14, 2024 15:25 2m 21s 158-make-functions-that-help-create-the-property-strings
158-make-functions-that-help-create-the-property-strings
December 14, 2024 15:25 2m 21s
Merge pull request #162 from moves-rwth/101-make-a-stormvogel-model-c… Test #453: Commit dcd1051 pushed by PimLeerkes
December 14, 2024 14:21 2m 12s main
main
December 14, 2024 14:21 2m 12s
Update 04_mdp.ipynb Test #452: Commit c604f1a pushed by PimLeerkes
December 14, 2024 14:18 2m 14s 101-make-a-stormvogel-model-checking-function
101-make-a-stormvogel-model-checking-function
December 14, 2024 14:18 2m 14s
fixed merge conflict Test #451: Commit af62ba1 pushed by PimLeerkes
December 14, 2024 14:15 2m 20s 101-make-a-stormvogel-model-checking-function
101-make-a-stormvogel-model-checking-function
December 14, 2024 14:15 2m 20s
remove unnecessary notebook cell Test #450: Commit 4412aa5 pushed by PimLeerkes
December 14, 2024 14:04 2m 11s 101-make-a-stormvogel-model-checking-function
101-make-a-stormvogel-model-checking-function
December 14, 2024 14:04 2m 11s
small changes and added one more test Test #449: Commit 8d0c93d pushed by PimLeerkes
December 14, 2024 13:53 2m 15s 101-make-a-stormvogel-model-checking-function
101-make-a-stormvogel-model-checking-function
December 14, 2024 13:53 2m 15s
works with schedulers + created first test Test #448: Commit 2bb6c35 pushed by PimLeerkes
December 14, 2024 13:35 2m 12s 101-make-a-stormvogel-model-checking-function
101-make-a-stormvogel-model-checking-function
December 14, 2024 13:35 2m 12s
parsing properties works Test #447: Commit 9fb70c0 pushed by PimLeerkes
December 14, 2024 12:32 2m 14s 101-make-a-stormvogel-model-checking-function
101-make-a-stormvogel-model-checking-function
December 14, 2024 12:32 2m 14s
Organize docs a bit (#159) Test #446: Commit 70ea756 pushed by linusheck
December 9, 2024 16:19 2m 26s main
main
December 9, 2024 16:19 2m 26s
Organize docs a bit Test #445: Commit a5bac93 pushed by linusheck
December 9, 2024 16:16 2m 20s organize-docs
organize-docs
December 9, 2024 16:16 2m 20s
progress removing actions Test #444: Commit f0974c8 pushed by YouGuessedMyName
December 9, 2024 14:35 2m 23s remove-action-names
remove-action-names
December 9, 2024 14:35 2m 23s
Merge pull request #155 from moves-rwth/several-visualization-features Test #443: Commit 74fd328 pushed by YouGuessedMyName
December 9, 2024 13:02 2m 21s remove-action-names
remove-action-names
December 9, 2024 13:02 2m 21s