Release new version · Workflow runs · stormchecker/stormpy · GitHub

Actions

All workflows
Workflows
- Apply code format Apply code format
- Build and test wheels Build and test wheels
- Build Test Build Test
- Check code format Check code format
- Dependabot Updates Dependabot Updates
- Dependency Graph Dependency Graph
- pages-build-deployment pages-build-deployment
- Release Docker Release Docker
- Release new version Release new version
- Scheduled build and test wheels Scheduled build and test wheels
Management
- Caches
- Deployments

Release new version

Actions

Loading...
Loading

5 workflow runs

5 workflow runs

v1.12.0 Release new version #5: Release 1.12.0 published by volkm

Startup failure

Startup failure

v1.11.3 Release new version #4: Release 1.11.3 published by volkm

2h 34m 16s

2h 34m 16s

v1.11.2 Release new version #3: Release 1.11.2 published by volkm

4h 27m 52s

4h 27m 52s

v1.11.1 Release new version #2: Release 1.11.1 published by volkm

58s

58s

v1.11.0 Release new version #1: Release 1.11.0 published by volkm

1m 33s

1m 33s