Skip to content

Actions: stormchecker/stormpy

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,683 workflow runs
1,683 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
pages build and deployment pages-build-deployment #468: by github-pages Bot
25s gh-pages
gh-pages
25s
Bump dawidd6/action-send-mail from 21 to 22 (#465) Build Test #1281: Commit 803db4a pushed by volkm
1h 19m 36s master
master
1h 19m 36s
Bump dawidd6/action-send-mail from 21 to 22 (#465) Check code format #860: Commit 803db4a pushed by volkm
25s master
master
25s
Bump dawidd6/action-send-mail from 21 to 22 Build Test #1280: Pull request #465 opened by dependabot Bot
43m 52s dependabot/github_actions/dawidd6/action-send-mail-22
dependabot/github_actions/dawidd6/action-send-mail-22
43m 52s
Bump dawidd6/action-send-mail from 21 to 22 Check code format #859: Pull request #465 opened by dependabot Bot
26s dependabot/github_actions/dawidd6/action-send-mail-22
dependabot/github_actions/dawidd6/action-send-mail-22
26s
Bump dawidd6/action-send-mail from 21 to 22 Check code format #858: Commit 0ede1c5 pushed by dependabot Bot
22s dependabot/github_actions/dawidd6/action-send-mail-22
dependabot/github_actions/dawidd6/action-send-mail-22
22s
pip in /. - Update #1583176578 Dependabot Updates #180: by dependabot Bot
50s master
master
50s
github_actions in /. - Update #1583176532 Dependabot Updates #179: by dependabot Bot
1m 23s master
master
1m 23s
Running Copilot Code Review Copilot #19: by Copilot AI
3m 20s master
master
3m 20s
Move core module to generic template bindings Check code format #857: Pull request #463 synchronize by linusheck
2m 3s linusheck:generic-types-core
linusheck:generic-types-core
2m 3s
Move core module to generic template bindings Build Test #1279: Pull request #463 synchronize by linusheck
1h 28m 52s linusheck:generic-types-core
linusheck:generic-types-core
1h 28m 52s
Running Copilot Code Review Copilot #18: by Copilot AI
2m 52s master
master
2m 52s
Move core module to generic template bindings Check code format #856: Pull request #463 synchronize by linusheck
36s linusheck:generic-types-core
linusheck:generic-types-core
36s
Move core module to generic template bindings Build Test #1278: Pull request #463 synchronize by linusheck
1h 17m 49s linusheck:generic-types-core
linusheck:generic-types-core
1h 17m 49s
Running Copilot Code Review Copilot #17: by Copilot AI
2m 32s master
master
2m 32s
Move core module to generic template bindings Check code format #855: Pull request #463 synchronize by linusheck
21s linusheck:generic-types-core
linusheck:generic-types-core
21s
Move core module to generic template bindings Build Test #1277: Pull request #463 synchronize by linusheck
59m 54s linusheck:generic-types-core
linusheck:generic-types-core
59m 54s
Move utility module to generic template bindings (#464) Check code format #854: Commit 8facb7a pushed by linusheck
21s dev
dev
21s
Running Copilot Code Review Copilot #16: by Copilot AI
4m 46s master
master
4m 46s
Move core module to generic template bindings Check code format #853: Pull request #463 synchronize by linusheck
5m 53s linusheck:generic-types-core
linusheck:generic-types-core
5m 53s
Move core module to generic template bindings Build Test #1276: Pull request #463 synchronize by linusheck
2h 3m 14s linusheck:generic-types-core
linusheck:generic-types-core
2h 3m 14s
Running Copilot Code Review Copilot #15: by Copilot AI
4m 52s master
master
4m 52s
Running Copilot Code Review Copilot #14: by Copilot AI
2m 47s master
master
2m 47s
Move utility module to generic template bindings Build Test #1275: Pull request #464 opened by linusheck
1h 48m 3s linusheck:generic-types-utility
linusheck:generic-types-utility
1h 48m 3s
Move utility module to generic template bindings Check code format #852: Pull request #464 opened by linusheck
31s linusheck:generic-types-utility
linusheck:generic-types-utility
31s