Skip to content

Actions: stormchecker/stormpy

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,716 workflow runs
1,716 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 #470: by github-pages Bot
37s gh-pages
gh-pages
37s
Build Test Build Test #1296: Scheduled
2h 4m 56s master
master
2h 4m 56s
Merge changes from master (#468) Check code format #875: Commit e87d5f3 pushed by volkm
40s dev
dev
40s
pages build and deployment pages-build-deployment #469: by github-pages Bot
11m 49s gh-pages
gh-pages
11m 49s
Merge changes from master Build Test #1295: Pull request #468 opened by volkm
1h 55m 44s volkm:dev-merge
volkm:dev-merge
1h 55m 44s
Merge changes from master Check code format #874: Pull request #468 opened by volkm
39m 34s volkm:dev-merge
volkm:dev-merge
39m 34s
CI: install libatomic on Fedora (#467) Build Test #1294: Commit abf15b4 pushed by volkm
1h 50m 9s master
master
1h 50m 9s
CI: install libatomic on Fedora (#467) Check code format #873: Commit abf15b4 pushed by volkm
7m 18s master
master
7m 18s
Running Copilot Code Review Copilot #20: by Copilot AI
3m 40s master
master
3m 40s
CI: install libatomic on Fedora Check code format #872: Pull request #467 opened by volkm
1m 29s volkm:fedora
volkm:fedora
1m 29s
CI: install libatomic on Fedora Build Test #1293: Pull request #467 opened by volkm
37m 54s volkm:fedora
volkm:fedora
37m 54s
Move core module to generic template bindings Check code format #871: Pull request #463 synchronize by linusheck
43s linusheck:generic-types-core
linusheck:generic-types-core
43s
Move core module to generic template bindings Build Test #1292: Pull request #463 synchronize by linusheck
1h 20m 39s linusheck:generic-types-core
linusheck:generic-types-core
1h 20m 39s
Move core module to generic template bindings Build Test #1291: Pull request #463 synchronize by linusheck
17m 3s linusheck:generic-types-core
linusheck:generic-types-core
17m 3s
Move core module to generic template bindings Check code format #870: Pull request #463 synchronize by linusheck
46s linusheck:generic-types-core
linusheck:generic-types-core
46s
Move core module to generic template bindings Check code format #869: Pull request #463 synchronize by linusheck
3m 10s linusheck:generic-types-core
linusheck:generic-types-core
3m 10s
Move core module to generic template bindings Build Test #1290: Pull request #463 synchronize by linusheck
3h 24m 10s linusheck:generic-types-core
linusheck:generic-types-core
3h 24m 10s
Move core module to generic template bindings Check code format #868: Pull request #463 synchronize by linusheck
11m 13s linusheck:generic-types-core
linusheck:generic-types-core
11m 13s
Move core module to generic template bindings Build Test #1289: Pull request #463 synchronize by linusheck
3h 58m 20s linusheck:generic-types-core
linusheck:generic-types-core
3h 58m 20s
Move core module to generic template bindings Build Test #1288: Pull request #463 synchronize by linusheck
3h 58m 40s linusheck:generic-types-core
linusheck:generic-types-core
3h 58m 40s
Move core module to generic template bindings Check code format #867: Pull request #463 synchronize by linusheck
7m 31s linusheck:generic-types-core
linusheck:generic-types-core
7m 31s
Move core module to generic template bindings Build Test #1287: Pull request #463 synchronize by linusheck
4h 0m 8s linusheck:generic-types-core
linusheck:generic-types-core
4h 0m 8s
Move core module to generic template bindings Check code format #866: Pull request #463 synchronize by linusheck
8m 16s linusheck:generic-types-core
linusheck:generic-types-core
8m 16s
Move core module to generic template bindings Check code format #865: Pull request #463 synchronize by linusheck
12m 12s linusheck:generic-types-core
linusheck:generic-types-core
12m 12s
Move core module to generic template bindings Build Test #1286: Pull request #463 synchronize by linusheck
4h 5m 7s linusheck:generic-types-core
linusheck:generic-types-core
4h 5m 7s