All workflows

Workflow runs

• StormPy pre-release

  completed successfully:
  StormPy pre-release#148:Scheduled
  master

  Oct 29, 202614s
  More actions for workflow run 148

• StormPy pre-release

  completed successfully:
  StormPy pre-release#147:Scheduled
  master

  Oct 28, 202615s
  More actions for workflow run 147

• Build wheels

  failed:
  Build wheels#95:Scheduled
  master

  Oct 28, 202640m 6s
  More actions for workflow run 95

• CI (latest)

  completed successfully:
  CI (latest)#180:Scheduled
  master

  Oct 28, 202628m 31s
  More actions for workflow run 180

• CI (stable)

  completed successfully:
  CI (stable)#187:Scheduled
  master

  Oct 28, 202640m 51s
  More actions for workflow run 187

• Configured Graph Update: pip in /. #1657825900

  completed successfully:
  Dependency Graph#24:bydependabot[bot]Bot
  master

  Oct 27, 202651s

• Unpin stormpy after PAYNT v0.5.0

  completed successfully:
  Cleanup release branches#17:Pull request#155closedbyTheGreatfpmK
  unpin-stormpy-0.5.0

  Oct 27, 20268s
  More actions for workflow run 17

• release: unpin stormpy after v0.5.0 (#155)

  completed successfully:
  Lint#60:Commit1d8f421pushedbyTheGreatfpmK
  master

  Oct 27, 202617s
  More actions for workflow run 60

• release: unpin stormpy after v0.5.0 (#155)

  completed successfully:
  CI (stable)#186:Commit1d8f421pushedbyTheGreatfpmK
  master

  Oct 27, 202637m 29s
  More actions for workflow run 186

• release: unpin stormpy after v0.5.0 (#155)

  completed successfully:
  CI (latest)#179:Commit1d8f421pushedbyTheGreatfpmK
  master

  Oct 27, 202630m 5s
  More actions for workflow run 179

• Unpin stormpy after PAYNT v0.5.0

  failed:
  CI (latest)#178:Pull request#155openedbygithub-actions[bot]Bot
  unpin-stormpy-0.5.0

  Oct 27, 20269m 59s
  More actions for workflow run 178

• Unpin stormpy after PAYNT v0.5.0

  failed:
  CI (stable)#185:Pull request#155openedbygithub-actions[bot]Bot
  unpin-stormpy-0.5.0

  Oct 27, 20269m 59s
  More actions for workflow run 185

• Unpin stormpy after PAYNT v0.5.0

  failed:
  Lint#59:Pull request#155openedbygithub-actions[bot]Bot
  unpin-stormpy-0.5.0

  Oct 27, 20269m 59s
  More actions for workflow run 59

• StormPy pre-release

  completed successfully:
  StormPy pre-release#146:Scheduled
  master

  Oct 27, 202612s
  More actions for workflow run 146

• v0.5.0

  completed successfully:
  New release#4:Releasev0.5.0publishedbyTheGreatfpmK
  Oct 26, 20261m 29s
  More actions for workflow run 4

• Configured Graph Update: pip in /. #1656659489

  completed successfully:
  Dependency Graph#23:bydependabot[bot]Bot
  master

  Oct 26, 202651s

• Release PAYNT v0.5.0

  skipped:
  Cleanup release branches#16:Pull request#154closedbyTheGreatfpmK
  0.5.0

  Oct 26, 20268s
  More actions for workflow run 16

• release: v0.5.0 (#154)

  completed successfully:
  Lint#58:Commitf662eaepushedbyTheGreatfpmK
  master

  Oct 26, 202618s
  More actions for workflow run 58

• release: v0.5.0 (#154)

  completed successfully:
  CI (latest)#177:Commitf662eaepushedbyTheGreatfpmK
  master

  Oct 26, 202626m 8s
  More actions for workflow run 177

• release: v0.5.0 (#154)

  completed successfully:
  CI (stable)#184:Commitf662eaepushedbyTheGreatfpmK
  master

  Oct 26, 202640m 24s
  More actions for workflow run 184

• Release PAYNT v0.5.0

  failed:
  Lint#57:Pull request#154openedbygithub-actions[bot]Bot
  0.5.0

  Oct 26, 202635s
  More actions for workflow run 57

• Release PAYNT v0.5.0

  failed:
  CI (latest)#176:Pull request#154openedbygithub-actions[bot]Bot
  0.5.0

  Oct 26, 202635s
  More actions for workflow run 176

• Release PAYNT v0.5.0

  failed:
  CI (stable)#183:Pull request#154openedbygithub-actions[bot]Bot
  0.5.0

  Oct 26, 202635s
  More actions for workflow run 183

• Prepare PAYNT release

  completed successfully:
  Prepare PAYNT release#6:Manually runbyTheGreatfpmK
  master

  Oct 26, 202617s
  More actions for workflow run 6

• Build wheels

  completed successfully:
  Build wheels#94:Manually runbyTheGreatfpmK
  master

  Oct 26, 20261h 17m 30s
  More actions for workflow run 94