Skip to content

Actions: moves-rwth/stormpy

Actions

Check code format

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
formatcheck.yml
321 workflow runs
321 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump actions/upload-artifact from 4 to 5 (#297) Check code format #324: Commit 2805b7f pushed by volkm
18s master
master
18s
Bump actions/upload-artifact from 4 to 5 Check code format #323: Pull request #297 opened by dependabot bot
20s dependabot/github_actions/actions/upload-artifact-5
dependabot/github_actions/actions/upload-artifact-5
20s
Bump actions/upload-artifact from 4 to 5 Check code format #322: Commit 5316694 pushed by dependabot bot
20s dependabot/github_actions/actions/upload-artifact-5
dependabot/github_actions/actions/upload-artifact-5
20s
Bump actions/download-artifact from 5 to 6 (#296) Check code format #321: Commit bbaa3cf pushed by volkm
17s master
master
17s
Bump actions/download-artifact from 5 to 6 Check code format #320: Pull request #296 opened by dependabot bot
22s dependabot/github_actions/actions/download-artifact-6
dependabot/github_actions/actions/download-artifact-6
22s
Bump actions/download-artifact from 5 to 6 Check code format #319: Commit 3389807 pushed by dependabot bot
25s dependabot/github_actions/actions/download-artifact-6
dependabot/github_actions/actions/download-artifact-6
25s
Bump pypa/cibuildwheel from 3.2.0 to 3.2.1 (#295) Check code format #318: Commit 72d5382 pushed by volkm
19s master
master
19s
Bump pypa/cibuildwheel from 3.2.0 to 3.2.1 Check code format #317: Pull request #295 opened by dependabot bot
19s dependabot/github_actions/pypa/cibuildwheel-3.2.1
dependabot/github_actions/pypa/cibuildwheel-3.2.1
19s
Bump pypa/cibuildwheel from 3.2.0 to 3.2.1 Check code format #316: Commit c6323de pushed by dependabot bot
19s dependabot/github_actions/pypa/cibuildwheel-3.2.1
dependabot/github_actions/pypa/cibuildwheel-3.2.1
19s
Bump stormpy version for Binder image (#294) Check code format #315: Commit bf04d9c pushed by volkm
20s master
master
20s
Bump stormpy version for Binder image Check code format #314: Pull request #294 reopened by volkm
21s ci/update-binder
ci/update-binder
21s
Stormpy version 1.11.3 (#293) Check code format #313: Commit b90e871 pushed by volkm
20s 1.11.3
1.11.3
20s
Stormpy version 1.11.3 (#293) Check code format #312: Commit b90e871 pushed by volkm
20s master
master
20s
Stormpy version 1.11.3 Check code format #311: Pull request #293 opened by volkm
18s volkm:v1.11.3
volkm:v1.11.3
18s
Fix for STORM_VERSION by taking the STORM_GIT_TAG (#292) Check code format #310: Commit ef9afee pushed by volkm
17s master
master
17s
Fix for STORM_VERSION by taking the STORM_GIT_TAG Check code format #309: Pull request #292 opened by volkm
25s volkm:wheel
volkm:wheel
25s
Bump stormpy version for Binder image (#291) Check code format #308: Commit eea6bb9 pushed by volkm
19s master
master
19s
Bump stormpy version for Binder image Check code format #307: Pull request #291 reopened by volkm
3m 17s ci/update-binder
ci/update-binder
3m 17s
Stormpy version 1.11.2 (#289) Check code format #306: Commit f4b4904 pushed by volkm
4m 30s 1.11.2
1.11.2
4m 30s
Stormpy version 1.11.2 (#289) Check code format #305: Commit f4b4904 pushed by volkm
16m 59s master
master
16m 59s
Fix for Intel wheels (#290) Check code format #304: Commit d7e0c97 pushed by volkm
3m 0s master
master
3m 0s
Fix for Intel wheels Check code format #303: Pull request #290 synchronize by volkm
18s intel_wheels
intel_wheels
18s
Bump mac version in wheel tests Check code format #302: Commit 7e3bb31 pushed by volkm
23s intel_wheels
intel_wheels
23s
Stormpy version 1.11.2 Check code format #301: Pull request #289 synchronize by volkm
19s v1.11.2
v1.11.2
19s
Update CHANGELOG.md Check code format #300: Commit 8e3b582 pushed by volkm
20s v1.11.2
v1.11.2
20s