Skip to content

Actions: stormchecker/stormpy

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Support for weighted objective model checking, Build Test #1049: Pull request #367 synchronize by sjunges
33m 21s sjunges:relreach
sjunges:relreach
33m 21s
Support for weighted objective model checking, Check code format #605: Pull request #367 synchronize by sjunges
26s sjunges:relreach
sjunges:relreach
26s
Support for weighted objective model checking, Check code format #604: Pull request #367 synchronize by sjunges
20s sjunges:relreach
sjunges:relreach
20s
Support for weighted objective model checking, Build Test #1048: Pull request #367 synchronize by sjunges
34m 11s sjunges:relreach
sjunges:relreach
34m 11s
pages build and deployment pages-build-deployment #404: by github-pages Bot
29s gh-pages
gh-pages
29s
Build Test Build Test #1047: Scheduled
1h 17m 8s master
master
1h 17m 8s
pages build and deployment pages-build-deployment #403: by github-pages Bot
20m 12s gh-pages
gh-pages
20m 12s
Code formatting merge (#396) Build Test #1046: Commit 80ebf75 pushed by volkm
1h 12m 39s master
master
1h 12m 39s
Code formatting merge (#396) Check code format #603: Commit 80ebf75 pushed by volkm
20s master
master
20s
Code formatting Check code format #602: Pull request #396 synchronize by volkm
22s ci/apply-code-format
ci/apply-code-format
22s
Code formatting Build Test #1045: Pull request #396 synchronize by volkm
1h 4m 22s ci/apply-code-format
ci/apply-code-format
1h 4m 22s
Fixed include order Check code format #601: Commit f4b5321 pushed by volkm
17s ci/apply-code-format
ci/apply-code-format
17s
Code formatting Build Test #1044: Pull request #396 reopened by volkm
21m 50s ci/apply-code-format
ci/apply-code-format
21m 50s
Code formatting Check code format #600: Pull request #396 reopened by volkm
16s ci/apply-code-format
ci/apply-code-format
16s
pages build and deployment pages-build-deployment #402: by github-pages Bot
24s gh-pages
gh-pages
24s
Apply code format Apply code format #7: Manually run by volkm
32s master
master
32s
CI: grant permission to open PR (#395) Check code format #599: Commit 46de65c pushed by volkm
17s master
master
17s
CI: grant permission to open PR (#395) Build Test #1043: Commit 46de65c pushed by volkm
51m 2s master
master
51m 2s
CI: grant permission to open PR Build Test #1042: Pull request #395 opened by volkm
45m 16s volkm:permissions
volkm:permissions
45m 16s
CI: grant permission to open PR Check code format #598: Pull request #395 opened by volkm
21s volkm:permissions
volkm:permissions
21s
Apply code format Apply code format #6: Manually run by volkm
36s master
master
36s
pages build and deployment pages-build-deployment #401: by github-pages Bot
27s gh-pages
gh-pages
27s
Graph Update: pip in /binder #1371910420 Dependency Graph #3: by dependabot Bot
49s master
master
49s
Bump stormpy from 1.12.0 to 1.13.0 (#394) Check code format #597: Commit 91ca8ff pushed by volkm
18s master
master
18s
Bump stormpy from 1.12.0 to 1.13.0 (#394) Build Test #1041: Commit 91ca8ff pushed by volkm
47m 35s master
master
47m 35s