10000 Test · Workflow runs · moves-rwth/stormvogel · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: moves-rwth/stormvogel

Actions

Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
801 workflow runs
801 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix CI? (#311) Test #801: Commit fdea8b7 pushed by linusheck
May 23, 2025 11:31 2m 26s main
main
May 23, 2025 11:31 2m 26s
Fix CI? Test #800: Commit dff6f76 pushed by linusheck
May 23, 2025 11:24 2m 19s fix-ci
fix-ci
May 23, 2025 11:24 2m 19s
added explicit typing to delta function Test #799: Commit 43ddfb3 pushed by PimLeerkes
May 22, 2025 13:58 2m 13s 304-pgc-builder-speed-issues
304-pgc-builder-speed-issues
May 22, 2025 13:58 2m 13s
other models use value conversion functions now Test #798: Commit 7983517 pushed by PimLeerkes
May 22, 2025 12:32 6m 18s 31-parametric-markov-chains-and-mdps-0
31-parametric-markov-chains-and-mdps-0
May 22, 2025 12:32 6m 18s
first test for parametric model conversion works Test #797: Commit 99e7771 pushed by PimLeerkes
May 22, 2025 12:05 6m 24s 31-parametric-markov-chains-and-mdps-0
31-parametric-markov-chains-and-mdps-0
May 22, 2025 12:05 6m 24s
Merge pull request #309 from moves-rwth/304-pgc-builder-speed-issues Test #796: Commit f2e397a pushed by PimLeerkes
May 22, 2025 08:43 2m 22s main
main
May 22, 2025 08:43 2m 22s
removed states_seen list Test #795: Commit ff7624f pushed by PimLeerkes
May 22, 2025 08:21 2m 22s 304-pgc-builder-speed-issues
304-pgc-builder-speed-issues
May 22, 2025 08:21 2m 22s
adding state is now O(1) in model builder Test #794: Commit 3155b5a pushed by PimLeerkes
May 22, 2025 07:54 2m 21s 304-pgc-builder-speed-issues
304-pgc-builder-speed-issues
May 22, 2025 07:54 2m 21s
Rename PyPi workflow (#308) Test #793: Commit 19eae26 pushed by PimLeerkes
May 22, 2025 07:21 2m 12s 304-pgc-builder-speed-issues
304-pgc-builder-speed-issues
May 22, 2025 07:21 2m 12s
Rename PyPi workflow (#308) Test #792: Commit 19eae26 pushed by linusheck
May 20, 2025 15:42 2m 20s main
main
May 20, 2025 15:42 2m 20s
Put version into title Test #791: Commit 31cf089 pushed by linusheck
May 20, 2025 15:35 2m 28s rename-workflow
rename-workflow
May 20, 2025 15:35 2m 28s
Add current version to docs Test #790: Commit 4455228 pushed by linusheck
May 20, 2025 15:25 2m 30s rename-workflow
rename-workflow
May 20, 2025 15:25 2m 30s
Rename PyPi workflow Test #789: Commit 0c83ecc pushed by linusheck
May 20, 2025 15:20 2m 29s rename-workflow
rename-workflow
May 20, 2025 15:20 2m 29s
Rename PyPi workflow Test #788: Commit fecad64 pushed by linusheck
May 20, 2025 15:20 59s rename-workflow
rename-workflow
May 20, 2025 15:20 59s
Release 0.9.0 (#307) Test #787: Commit 1eef690 pushed by linusheck
May 20, 2025 15:09 2m 30s v0.9.0
v0.9.0
May 20, 2025 15:09 2m 30s
Release 0.9.0 (#307) Test #786: Commit 1eef690 pushed by linusheck
May 20, 2025 15:08 2m 22s main
main
May 20, 2025 15:08 2m 22s
Release 0.9.0 Test #785: Commit f7bc4e5 pushed by linusheck
May 20, 2025 15:02 2m 33s release-0.9.0
release-0.9.0
May 20, 2025 15:02 2m 33s
Fix Python version to 3.12 (#303) (#306) Test #784: Commit c0127c4 pushed by linusheck
May 20, 2025 14:59 2m 27s main
main
May 20, 2025 14:59 2m 27s
Merge branch 'main' of github.com:moves-rwth/stormvogel into python-v… Test #783: Commit 9246b82 pushed by linusheck
May 20, 2025 14:47 2m 20s python-version
python-version
May 20, 2025 14:47 2m 20s
Fixed version of #284 (#305) Test #782: Commit 7f1f924 pushed by linusheck
May 20, 2025 14:45 2m 28s main
main
May 20, 2025 14:45 2m 28s
Lock poetry Test #781: Commit 15d09eb pushed by linusheck
May 20, 2025 14:41 2m 21s python-version
python-version
May 20, 2025 14:41 2m 21s
Update notebooks? Test #780: Commit 52e8a0e pushed by linusheck
May 20, 2025 14:39 2m 22s sebastians-notebooks
sebastians-notebooks
May 20, 2025 14:39 2m 22s
Fix Python version to 3.12 Test #779: Commit 26db587 pushed by linusheck
May 20, 2025 14:27 1m 57s python-version
python-version
May 20, 2025 14:27 1m 57s
Remove weird DRN files Test #778: Commit 7c94a77 pushed by linusheck
May 20, 2025 14:22 2m 29s sebastians-notebooks
sebastians-notebooks
May 20, 2025 14:22 2m 29s
Merge branch 'main' of github.com:sjunges/stormvogel Test #777: Commit 93060dc pushed by linusheck
May 20, 2025 14:21 1m 15s sebastians-notebooks
sebastians-notebooks
May 20, 2025 14:21 1m 15s
0