Skip to content

Actions: moves-rwth/stormvogel

Actions

Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
536 workflow runs
536 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
model builder supports multiple reward models Test #442: Commit ddd0342 pushed by PimLeerkes
December 8, 2024 13:42 2m 25s 137-state-builder
137-state-builder
December 8, 2024 13:42 2m 25s
model builder can now also use a labels function Test #441: Commit c339a8d pushed by PimLeerkes
December 8, 2024 13:17 2m 25s 137-state-builder
137-state-builder
December 8, 2024 13:17 2m 25s
model builder now also uses reward function Test #440: Commit 072c6cb pushed by PimLeerkes
December 8, 2024 13:05 2m 13s 137-state-builder
137-state-builder
December 8, 2024 13:05 2m 13s
pgc state object can now contain arbitrary attributes Test #439: Commit 9a5d267 pushed by PimLeerkes
December 8, 2024 11:36 2m 11s 137-state-builder
137-state-builder
December 8, 2024 11:36 2m 11s
Merge pull request #155 from moves-rwth/several-visualization-features Test #438: Commit 74fd328 pushed by YouGuessedMyName
December 5, 2024 15:59 2m 23s main
main
December 5, 2024 15:59 2m 23s
linter Test #437: Commit d44b237 pushed by YouGuessedMyName
December 5, 2024 15:55 2m 18s several-visualization-features
several-visualization-features
December 5, 2024 15:55 2m 18s