Release Docker · 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 Docker

Actions

Loading...
Loading

release_docker.yml

5 workflow runs

5 workflow runs

Release Docker Release Docker #5: Manually run by volkm

11m 14s stable

stable

11m 14s

Release Docker Release Docker #4: Manually run by volkm

20m 12s 1.12.0

1.12.0

20m 12s

Release Docker Release Docker #3: Manually run by volkm

22m 21s master

master

22m 21s

Release Docker Release Docker #2: Manually run by volkm

18m 35s stable

stable

18m 35s

Release Docker Release Docker #1: Manually run by volkm

18m 19s master

master

18m 19s