Skip to content

Actions: moves-rwth/stormvogel

Actions

Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
536 workflow runs
536 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

we now use tensors Test #536: Commit bd0486e pushed by PimLeerkes
February 25, 2025 13:00 2m 17s 31-parametric-markov-chains-and-mdps-0
31-parametric-markov-chains-and-mdps-0
February 25, 2025 13:00 2m 17s
linear multivariate polynomials and rational functions Test #535: Commit 10f9eeb pushed by PimLeerkes
February 25, 2025 12:38 2m 25s 31-parametric-markov-chains-and-mdps-0
31-parametric-markov-chains-and-mdps-0
February 25, 2025 12:38 2m 25s
Merge pull request #193 from moves-rwth/several-visualization-features Test #534: Commit 4d0d429 pushed by PimLeerkes
February 25, 2025 11:09 2m 19s 31-parametric-markov-chains-and-mdps-0
31-parametric-markov-chains-and-mdps-0
February 25, 2025 11:09 2m 19s
made a start on the property builder widget Test #533: Commit 093664c pushed by PimLeerkes
February 25, 2025 11:03 2m 24s 167-property-builder-widget
167-property-builder-widget
February 25, 2025 11:03 2m 24s
new way of editing groups works Test #532: Commit 97df28d pushed by YouGuessedMyName
February 24, 2025 12:09 2m 21s several-visualization-features
several-visualization-features
February 24, 2025 12:09 2m 21s
Merge pull request #193 from moves-rwth/several-visualization-features Test #531: Commit 4d0d429 pushed by YouGuessedMyName
February 22, 2025 16:03 2m 22s main
main
February 22, 2025 16:03 2m 22s
fix tests Test #530: Commit 437f3c2 pushed by YouGuessedMyName
February 22, 2025 15:54 2m 24s several-visualization-features
several-visualization-features
February 22, 2025 15:54 2m 24s
Merge branch 'main' into several-visualization-features Test #529: Commit 33bf3cd pushed by YouGuessedMyName
February 19, 2025 20:46 2m 24s several-visualization-features
several-visualization-features
February 19, 2025 20:46 2m 24s
progress on introduction Test #528: Commit 772259c pushed by YouGuessedMyName
February 19, 2025 20:45 1m 2s several-visualization-features
several-visualization-features
February 19, 2025 20:45 1m 2s
Merge pull request #192 from moves-rwth/189-make-stormpy-dependencies… Test #527: Commit 45a19cc pushed by PimLeerkes
February 18, 2025 12:20 2m 23s 167-property-builder-widget
167-property-builder-widget
February 18, 2025 12:20 2m 23s
Merge pull request #192 from moves-rwth/189-make-stormpy-dependencies… Test #526: Commit 45a19cc pushed by PimLeerkes
February 18, 2025 12:19 2m 17s main
main
February 18, 2025 12:19 2m 17s
removed save_and_embed Test #525: Commit 983cc8a pushed by PimLeerkes
February 18, 2025 12:17 2m 17s 189-make-stormpy-dependencies-optional
189-make-stormpy-dependencies-optional
February 18, 2025 12:17 2m 17s
Merge pull request #191 from moves-rwth/189-make-stormpy-dependencies… Test #524: Commit 974d397 pushed by PimLeerkes
February 18, 2025 11:59 2m 20s main
main
February 18, 2025 11:59 2m 20s
fixed documentation notebook Test #523: Commit f29ecde pushed by PimLeerkes
February 18, 2025 11:56 2m 29s 189-make-stormpy-dependencies-optional
189-make-stormpy-dependencies-optional
February 18, 2025 11:56 2m 29s
Merge pull request #190 from moves-rwth/189-make-stormpy-dependencies… Test #522: Commit 3409580 pushed by PimLeerkes
February 18, 2025 11:27 2m 19s main
main
February 18, 2025 11:27 2m 19s
gave the pgc notebook a title Test #521: Commit dda7254 pushed by PimLeerkes
February 18, 2025 11:23 2m 31s 189-make-stormpy-dependencies-optional
189-make-stormpy-dependencies-optional
February 18, 2025 11:23 2m 31s
stormpy is now also optional in the tests Test #520: Commit b7e7b8c pushed by PimLeerkes
February 18, 2025 11:13 2m 24s 189-make-stormpy-dependencies-optional
189-make-stormpy-dependencies-optional
February 18, 2025 11:13 2m 24s
stormpy is None if import failed Test #519: Commit 2603a0b pushed by PimLeerkes
February 18, 2025 11:06 2m 16s 189-make-stormpy-dependencies-optional
189-make-stormpy-dependencies-optional
February 18, 2025 11:06 2m 16s
moved all stormpy imports intro try excepts Test #518: Commit c1d2eb3 pushed by PimLeerkes
February 18, 2025 10:56 2m 15s 189-make-stormpy-dependencies-optional
189-make-stormpy-dependencies-optional
February 18, 2025 10:56 2m 15s
changed linter configuration Test #517: Commit 1f05a97 pushed by PimLeerkes
February 18, 2025 10:37 5m 6s 189-make-stormpy-dependencies-optional
189-make-stormpy-dependencies-optional
February 18, 2025 10:37 5m 6s
moved stormpy imports Test #516: Commit 990e66b pushed by PimLeerkes
February 18, 2025 10:35 2m 28s 189-make-stormpy-dependencies-optional
189-make-stormpy-dependencies-optional
February 18, 2025 10:35 2m 28s
Merge branch 'main' into several-visualization-features Test #515: Commit 9bd16e6 pushed by YouGuessedMyName
February 16, 2025 14:42 2m 16s several-visualization-features
several-visualization-features
February 16, 2025 14:42 2m 16s
Merge pull request #188 from moves-rwth/176-make-pgc-work-with-arbitr… Test #514: Commit a280484 pushed by PimLeerkes
February 16, 2025 13:44 2m 19s 189-make-stormpy-dependencies-optional
189-make-stormpy-dependencies-optional
February 16, 2025 13:44 2m 19s
Merge pull request #188 from moves-rwth/176-make-pgc-work-with-arbitr… Test #513: Commit a280484 pushed by PimLeerkes
February 16, 2025 13:37 2m 22s main
main
February 16, 2025 13:37 2m 22s
removed a print statement Test #512: Commit 26d5cbc pushed by PimLeerkes
February 16, 2025 13:34 2m 27s 176-make-pgc-work-with-arbitrary-values
176-make-pgc-work-with-arbitrary-values
February 16, 2025 13:34 2m 27s