Skip to content

Actions: stormchecker/stormpy

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,578 workflow runs
1,578 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
Consistent and readable generics Check code format #801: Pull request #449 synchronize by linusheck
Queued linusheck:generic-types
linusheck:generic-types
Queued
Consistent and readable generics Build Test #1235: Pull request #449 synchronize by linusheck
Queued linusheck:generic-types
linusheck:generic-types
Queued
Consistent and readable generics Build Test #1234: Pull request #449 synchronize by linusheck
Queued linusheck:generic-types
linusheck:generic-types
Queued
Consistent and readable generics Check code format #800: Pull request #449 synchronize by linusheck
55s linusheck:generic-types
linusheck:generic-types
55s
Consistent and readable generics Build Test #1233: Pull request #449 synchronize by linusheck
Queued linusheck:generic-types
linusheck:generic-types
Queued
Consistent and readable generics Check code format #799: Pull request #449 synchronize by linusheck
1m 3s linusheck:generic-types
linusheck:generic-types
1m 3s
Consistent and readable generics Check code format #798: Pull request #449 synchronize by linusheck
3m 25s linusheck:generic-types
linusheck:generic-types
3m 25s
Consistent and readable generics Build Test #1232: Pull request #449 synchronize by linusheck
Queued linusheck:generic-types
linusheck:generic-types
Queued
Consistent and readable generics Check code format #797: Pull request #449 synchronize by linusheck
3m 36s linusheck:generic-types
linusheck:generic-types
3m 36s
Consistent and readable generics Build Test #1231: Pull request #449 synchronize by linusheck
Queued linusheck:generic-types
linusheck:generic-types
Queued
Consistent and readable generics Build Test #1230: Pull request #449 synchronize by linusheck
Queued linusheck:generic-types
linusheck:generic-types
Queued
Consistent and readable generics Check code format #796: Pull request #449 synchronize by linusheck
17s linusheck:generic-types
linusheck:generic-types
17s
Consistent and readable generics Build Test #1229: Pull request #449 synchronize by linusheck
In progress linusheck:generic-types
linusheck:generic-types
In progress
Consistent and readable generics Check code format #795: Pull request #449 synchronize by linusheck
20s linusheck:generic-types
linusheck:generic-types
20s
Consistent and readable generics Check code format #794: Pull request #449 synchronize by linusheck
33s linusheck:generic-types
linusheck:generic-types
33s
Consistent and readable generics Build Test #1228: Pull request #449 synchronize by linusheck
36m 45s linusheck:generic-types
linusheck:generic-types
36m 45s
Consistent and readable generics Check code format #793: Pull request #449 synchronize by linusheck
5m 5s linusheck:generic-types
linusheck:generic-types
5m 5s
Consistent and readable generics Build Test #1227: Pull request #449 synchronize by linusheck
32m 10s linusheck:generic-types
linusheck:generic-types
32m 10s
Consistent and readable generics Build Test #1226: Pull request #449 synchronize by linusheck
12m 33s linusheck:generic-types
linusheck:generic-types
12m 33s
Consistent and readable generics Check code format #792: Pull request #449 synchronize by linusheck
2m 35s linusheck:generic-types
linusheck:generic-types
2m 35s
Consistent and readable generics Check code format #791: Pull request #449 synchronize by linusheck
19s linusheck:generic-types
linusheck:generic-types
19s
Consistent and readable generics Build Test #1225: Pull request #449 synchronize by linusheck
16m 0s linusheck:generic-types
linusheck:generic-types
16m 0s
Running Copilot Code Review Copilot #9: by Copilot AI
4m 8s master
master
4m 8s
Adaption to Environment and ExtendedNumber Build Test #1224: Pull request #453 opened by volkm
3h 27m 52s volkm:adaption
volkm:adaption
3h 27m 52s
Adaption to Environment and ExtendedNumber Check code format #790: Pull request #453 opened by volkm
1m 33s volkm:adaption
volkm:adaption
1m 33s