Skip to content

Actions: randriu/paynt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
769 workflow runs
769 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
added workflow for cleanup of release branches (not tested yey) CI (stable) #83: Commit e92f36a pushed by TheGreatfpmK
33m 38s master
master
33m 38s
added workflow for cleanup of release branches (not tested yey) CI (latest) #80: Commit e92f36a pushed by TheGreatfpmK
9m 8s master
master
9m 8s
StormPy pre-release StormPy pre-release #83: Scheduled
13s master
master
13s
StormPy pre-release StormPy pre-release #82: Scheduled
18s master
master
18s
Build wheels Build wheels #62: Scheduled
1h 6m 11s master
master
1h 6m 11s
CI (latest) CI (latest) #79: Scheduled
9m 21s master
master
9m 21s
CI (stable) CI (stable) #82: Scheduled
30m 52s master
master
30m 52s
Bump dawidd6/action-download-artifact from 21 to 24 CI (latest) #78: Pull request #128 opened by dependabot Bot
8m 58s dependabot/github_actions/dawidd6/action-download-artifact-24
dependabot/github_actions/dawidd6/action-download-artifact-24
8m 58s
Bump dawidd6/action-download-artifact from 21 to 24 CI (stable) #81: Pull request #128 opened by dependabot Bot
29m 28s dependabot/github_actions/dawidd6/action-download-artifact-24
dependabot/github_actions/dawidd6/action-download-artifact-24
29m 28s
github_actions in /. - Update #1537280649 Dependabot Updates #99: by dependabot Bot
1m 10s master
master
1m 10s
pip in /. - Update #1537280650 Dependabot Updates #98: by dependabot Bot
48s master
master
48s
StormPy pre-release StormPy pre-release #81: Scheduled
15s master
master
15s
StormPy pre-release StormPy pre-release #80: Scheduled
13s master
master
13s
StormPy pre-release StormPy pre-release #79: Scheduled
15s master
master
15s
Configured Graph Update: pip in /. #1535157320 Dependency Graph #17: by dependabot Bot
43s master
master
43s
release: unpin stormpy after v0.4.2 (#127) CI (latest) #77: Commit 751a827 pushed by TheGreatfpmK
8m 38s master
master
8m 38s
release: unpin stormpy after v0.4.2 (#127) CI (stable) #80: Commit 751a827 pushed by TheGreatfpmK
30m 33s master
master
30m 33s
Build wheels Build wheels #61: Scheduled
1h 7m 1s master
master
1h 7m 1s
CI (latest) CI (latest) #75: Scheduled
9m 8s master
master
9m 8s
CI (stable) CI (stable) #78: Scheduled
47m 58s master
master
47m 58s
v0.4.2 New release #2: Release v0.4.2 published by TheGreatfpmK
4m 16s
4m 16s
Configured Graph Update: pip in /. #1534578085 Dependency Graph #16: by dependabot Bot
55s master
master
55s
release: v0.4.2 (#126) CI (stable) #77: Commit 5b93bed pushed by TheGreatfpmK
34m 21s master
master
34m 21s
release: v0.4.2 (#126) CI (latest) #74: Commit 5b93bed pushed by TheGreatfpmK
8m 52s master
master
8m 52s
Prepare PAYNT release Prepare PAYNT release #4: Manually run by TheGreatfpmK
19s master
master
19s