Skip to content

Actions: stormchecker/stormpy

Actions

Build Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
buildtest.yml
537 workflow runs
537 workflow runs

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
Bump pypa/cibuildwheel from 3.4.1 to 4.1.0 Build Test #1108: Pull request #417 opened by dependabot Bot
46m 46s dependabot/github_actions/pypa/cibuildwheel-4.1.0
dependabot/github_actions/pypa/cibuildwheel-4.1.0
46m 46s
Replace carl-parser with Lark parser Build Test #1107: Pull request #416 opened by volkm
1h 5m 49s volkm:lark-parser
volkm:lark-parser
1h 5m 49s
Build Test Build Test #1106: Scheduled
47m 33s master
master
47m 33s
Use template in more places for ValueType Build Test #1105: Pull request #415 synchronize by volkm
1h 40m 55s volkm:valuetype
volkm:valuetype
1h 40m 55s
Use template in more places for ValueType Build Test #1104: Pull request #415 opened by volkm
49m 45s volkm:valuetype
volkm:valuetype
49m 45s
Consistent use of UPPER_CASE for enums. Build Test #1103: Pull request #414 opened by volkm
1h 7m 50s volkm:enum
volkm:enum
1h 7m 50s
Bump stormpy from 1.13.0 to 1.13.2 (#413) Build Test #1102: Commit 8fb40d2 pushed by volkm
54m 55s master
master
54m 55s
Bump stormpy from 1.13.0 to 1.13.2 Build Test #1101: Pull request #413 opened by dependabot Bot
35m 47s dependabot/pip/stormpy-1.13.2
dependabot/pip/stormpy-1.13.2
35m 47s
Build Test Build Test #1100: Scheduled
14m 17s master
master
14m 17s
CI: build debug wheels (#412) Build Test #1099: Commit 262c2eb pushed by volkm
35m 55s master
master
35m 55s
CI: build debug wheels Build Test #1098: Pull request #412 opened by volkm
1h 8m 2s volkm:debug_wheel
volkm:debug_wheel
1h 8m 2s
Version 1.13.2 (#410) Build Test #1097: Commit 2b5efce pushed by volkm
45m 48s master
master
45m 48s
Version 1.13.2 Build Test #1096: Pull request #410 opened by volkm
56m 23s volkm:1.13.2
volkm:1.13.2
56m 23s
Fixed wheel generation (#409) Build Test #1095: Commit 10b48be pushed by volkm
1h 33m 1s master
master
1h 33m 1s
Improved CI for creating wheels (#408) Build Test #1094: Commit 619d715 pushed by volkm
46m 7s master
master
46m 7s
Fixed wheel generation Build Test #1093: Pull request #409 opened by volkm
1h 15m 20s volkm:wheel_fix
volkm:wheel_fix
1h 15m 20s
Improved CI for creating wheels Build Test #1092: Pull request #408 opened by volkm
36m 11s volkm:ci_wheel
volkm:ci_wheel
36m 11s
Version 1.13.1 (#407) Build Test #1091: Commit 43b1f39 pushed by volkm
1h 4m 9s master
master
1h 4m 9s
CI: remove binder update step as it is already handled by dependabot … Build Test #1090: Commit b43cfd0 pushed by volkm
39m 17s master
master
39m 17s
Version 1.13.1 Build Test #1089: Pull request #407 opened by volkm
48m 2s volkm:1.13.1
volkm:1.13.1
48m 2s
CI: remove binder update step as it is already handled by dependabot Build Test #1088: Pull request #406 opened by volkm
40m 27s volkm:ci_release
volkm:ci_release
40m 27s
Create rational numbers from Python fraction (#404) Build Test #1087: Commit 751a658 pushed by volkm
35m 15s master
master
35m 15s
From fraction Build Test #1086: Pull request #404 synchronize by sjunges
1h 22m 48s sjunges:from_fraction
sjunges:from_fraction
1h 22m 48s
From fraction Build Test #1085: Pull request #404 synchronize by sjunges
1h 18m 17s sjunges:from_fraction
sjunges:from_fraction
1h 18m 17s
Native enum (#403) Build Test #1084: Commit 4c53fc7 pushed by sjunges
58m 38s master
master
58m 38s