Skip to content

Actions: moves-rwth/stormvogel

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,003 workflow runs
1,003 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Show me the current path Lint #52: Commit 003765f pushed by linusheck
July 2, 2024 15:20 2m 5s 10-run-pipeline-on-stormpy-docker-containers
10-run-pipeline-on-stormpy-docker-containers
July 2, 2024 15:20 2m 5s
This should work? Lint #51: Commit 1270316 pushed by linusheck
July 2, 2024 15:17 2m 5s 10-run-pipeline-on-stormpy-docker-containers
10-run-pipeline-on-stormpy-docker-containers
July 2, 2024 15:17 2m 5s
This should work? Test #51: Commit 1270316 pushed by linusheck
July 2, 2024 15:17 2m 8s 10-run-pipeline-on-stormpy-docker-containers
10-run-pipeline-on-stormpy-docker-containers
July 2, 2024 15:17 2m 8s
Poetry should use existing venv Test #50: Commit bef775e pushed by linusheck
July 2, 2024 15:13 2m 12s 10-run-pipeline-on-stormpy-docker-containers
10-run-pipeline-on-stormpy-docker-containers
July 2, 2024 15:13 2m 12s
Poetry should use existing venv Lint #50: Commit bef775e pushed by linusheck
July 2, 2024 15:13 2m 5s 10-run-pipeline-on-stormpy-docker-containers
10-run-pipeline-on-stormpy-docker-containers
July 2, 2024 15:13 2m 5s
commit test Test #49: Commit 6a478a7 pushed by PimLeerkes
July 2, 2024 15:05 28s 6-make-a-mapping-between-simple-representations-and-sparsematrix
6-make-a-mapping-between-simple-representations-and-sparsematrix
July 2, 2024 15:05 28s
commit test Lint #49: Commit 6a478a7 pushed by PimLeerkes
July 2, 2024 15:05 42s 6-make-a-mapping-between-simple-representations-and-sparsematrix
6-make-a-mapping-between-simple-representations-and-sparsematrix
July 2, 2024 15:05 42s
Merge pull request #13 from moves-rwth/main Lint #48: Commit ea5c84e pushed by PimLeerkes
July 2, 2024 15:02 47s 6-make-a-mapping-between-simple-representations-and-sparsematrix
6-make-a-mapping-between-simple-representations-and-sparsematrix
July 2, 2024 15:02 47s
Merge pull request #13 from moves-rwth/main Test #48: Commit ea5c84e pushed by PimLeerkes
July 2, 2024 15:02 32s 6-make-a-mapping-between-simple-representations-and-sparsematrix
6-make-a-mapping-between-simple-representations-and-sparsematrix
July 2, 2024 15:02 32s
Update pyrightconfig.json Test #47: Pull request #13 opened by PimLeerkes
July 2, 2024 15:02 30s main
main
July 2, 2024 15:02 30s
Update pyrightconfig.json Lint #47: Pull request #13 opened by PimLeerkes
July 2, 2024 15:02 34s main
main
July 2, 2024 15:02 34s
Update pyrightconfig.json Lint #46: Commit 9f47875 pushed by linusheck
July 2, 2024 15:01 40s main
main
July 2, 2024 15:01 40s
Update pyrightconfig.json Test #46: Commit 9f47875 pushed by linusheck
July 2, 2024 15:01 35s main
main
July 2, 2024 15:01 35s
extended map from only sparsematrix to whole dtmc Test #45: Commit 20453ed pushed by PimLeerkes
July 2, 2024 14:55 31s 6-make-a-mapping-between-simple-representations-and-sparsematrix
6-make-a-mapping-between-simple-representations-and-sparsematrix
July 2, 2024 14:55 31s
extended map from only sparsematrix to whole dtmc Lint #45: Commit 20453ed pushed by PimLeerkes
July 2, 2024 14:55 41s 6-make-a-mapping-between-simple-representations-and-sparsematrix
6-make-a-mapping-between-simple-representations-and-sparsematrix
July 2, 2024 14:55 41s
Install stormpy Test #44: Commit b34b161 pushed by linusheck
July 2, 2024 14:55 2m 8s 10-run-pipeline-on-stormpy-docker-containers
10-run-pipeline-on-stormpy-docker-containers
July 2, 2024 14:55 2m 8s
Install stormpy Lint #44: Commit b34b161 pushed by linusheck
July 2, 2024 14:55 2m 3s 10-run-pipeline-on-stormpy-docker-containers
10-run-pipeline-on-stormpy-docker-containers
July 2, 2024 14:55 2m 3s
Merge pull request #12 from moves-rwth/main Lint #43: Commit b255669 pushed by PimLeerkes
July 2, 2024 14:53 43s 6-make-a-mapping-between-simple-representations-and-sparsematrix
6-make-a-mapping-between-simple-representations-and-sparsematrix
July 2, 2024 14:53 43s
Merge pull request #12 from moves-rwth/main Test #43: Commit b255669 pushed by PimLeerkes
July 2, 2024 14:53 31s 6-make-a-mapping-between-simple-representations-and-sparsematrix
6-make-a-mapping-between-simple-representations-and-sparsematrix
July 2, 2024 14:53 31s
merge main into my branch Lint #42: Pull request #12 opened by PimLeerkes
July 2, 2024 14:51 43s main
main
July 2, 2024 14:51 43s
merge main into my branch Test #42: Pull request #12 opened by PimLeerkes
July 2, 2024 14:51 37s main
main
July 2, 2024 14:51 37s
Also install git Test #41: Commit a8836c9 pushed by linusheck
July 2, 2024 14:45 2m 2s 10-run-pipeline-on-stormpy-docker-containers
10-run-pipeline-on-stormpy-docker-containers
July 2, 2024 14:45 2m 2s
Also install git Lint #41: Commit a8836c9 pushed by linusheck
July 2, 2024 14:45 2m 0s 10-run-pipeline-on-stormpy-docker-containers
10-run-pipeline-on-stormpy-docker-containers
July 2, 2024 14:45 2m 0s
Attempt to run on an image Lint #40: Pull request #11 synchronize by linusheck
July 2, 2024 14:42 2m 2s 10-run-pipeline-on-stormpy-docker-containers
10-run-pipeline-on-stormpy-docker-containers
July 2, 2024 14:42 2m 2s
Attempt to run on an image Test #40: Pull request #11 synchronize by linusheck
July 2, 2024 14:42 2m 0s 10-run-pipeline-on-stormpy-docker-containers
10-run-pipeline-on-stormpy-docker-containers
July 2, 2024 14:42 2m 0s
ProTip! You can narrow down the results and go further in time using created:<2024-07-02 or the other filters available.