{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":76965699,"defaultBranch":"master","name":"stormpy","ownerLogin":"moves-rwth","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2016-12-20T14:58:44.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/22944638?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1720018704.0","currentOid":""},"activityList":{"items":[{"before":"88ce6ea7e25865cef4974af750dece8cd3e8818a","after":"d9953794c5d7eb02c3de98a7357fc49914f3ecd8","ref":"refs/heads/master","pushedAt":"2024-08-07T09:40:31.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"volkm","name":"Matthias Volk","path":"/volkm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24915841?s=80&v=4"},"commit":{"message":"Easier access to state valuations, choice labels and choice origins (#180)","shortMessageHtmlLink":"Easier access to state valuations, choice labels and choice origins (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2427125227\" data-permission-text=\"Title is private\" data-url=\"https://github.com/moves-rwth/stormpy/issues/180\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/moves-rwth/stormpy/pull/180/hovercard\" href=\"https://github.com/moves-rwth/stormpy/pull/180\">#…</a>"}},{"before":"284a574649a772029ee86421d4b66b5c431ba4f7","after":"27f7fbfa6c1290c56caced0a6bf9895ea4e04465","ref":"refs/heads/gh-pages","pushedAt":"2024-07-24T14:22:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: 88ce6ea7e25865cef4974af750dece8cd3e8818a","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/moves-rwth/stormpy/commit/88ce6ea7e25865cef4974af750dece8cd3e8818a/hovercard\" href=\"https://github.com/moves-rwth/stormpy/commit/88ce6ea7e25865cef4974af750dece8cd3e8818a\"><tt>88ce6ea</tt></a>"}},{"before":"9085cfd66e0e82f931ed5b3c7731b4f5b42538a0","after":"88ce6ea7e25865cef4974af750dece8cd3e8818a","ref":"refs/heads/master","pushedAt":"2024-07-24T13:54:57.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"volkm","name":"Matthias Volk","path":"/volkm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24915841?s=80&v=4"},"commit":{"message":"Add binding for GameFormula (#181)","shortMessageHtmlLink":"Add binding for GameFormula (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2427427720\" data-permission-text=\"Title is private\" data-url=\"https://github.com/moves-rwth/stormpy/issues/181\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/moves-rwth/stormpy/pull/181/hovercard\" href=\"https://github.com/moves-rwth/stormpy/pull/181\">#181</a>)"}},{"before":"8bf4ebe9d40941833cab54b487d5f87f6ae79776","after":"284a574649a772029ee86421d4b66b5c431ba4f7","ref":"refs/heads/gh-pages","pushedAt":"2024-07-24T10:38:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: 9085cfd66e0e82f931ed5b3c7731b4f5b42538a0","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/moves-rwth/stormpy/commit/9085cfd66e0e82f931ed5b3c7731b4f5b42538a0/hovercard\" href=\"https://github.com/moves-rwth/stormpy/commit/9085cfd66e0e82f931ed5b3c7731b4f5b42538a0\"><tt>9085cfd</tt></a>"}},{"before":"e7ee34fce61c6d86b079666c9452ee2a053d5f90","after":"8bf4ebe9d40941833cab54b487d5f87f6ae79776","ref":"refs/heads/gh-pages","pushedAt":"2024-07-17T10:36:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: 9085cfd66e0e82f931ed5b3c7731b4f5b42538a0","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/moves-rwth/stormpy/commit/9085cfd66e0e82f931ed5b3c7731b4f5b42538a0/hovercard\" href=\"https://github.com/moves-rwth/stormpy/commit/9085cfd66e0e82f931ed5b3c7731b4f5b42538a0\"><tt>9085cfd</tt></a>"}},{"before":"1d53eacbc5e03666cb17c629ac631ef51367a72f","after":"e7ee34fce61c6d86b079666c9452ee2a053d5f90","ref":"refs/heads/gh-pages","pushedAt":"2024-07-15T10:21:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: 9085cfd66e0e82f931ed5b3c7731b4f5b42538a0","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/moves-rwth/stormpy/commit/9085cfd66e0e82f931ed5b3c7731b4f5b42538a0/hovercard\" href=\"https://github.com/moves-rwth/stormpy/commit/9085cfd66e0e82f931ed5b3c7731b4f5b42538a0\"><tt>9085cfd</tt></a>"}},{"before":"b6413db703a7a194947cbf81a6e429001f0a6f31","after":"9085cfd66e0e82f931ed5b3c7731b4f5b42538a0","ref":"refs/heads/master","pushedAt":"2024-07-15T09:54:21.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"volkm","name":"Matthias Volk","path":"/volkm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24915841?s=80&v=4"},"commit":{"message":"Adaption to changes in Storm (#174)","shortMessageHtmlLink":"Adaption to changes in Storm (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2408272710\" data-permission-text=\"Title is private\" data-url=\"https://github.com/moves-rwth/stormpy/issues/174\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/moves-rwth/stormpy/pull/174/hovercard\" href=\"https://github.com/moves-rwth/stormpy/pull/174\">#174</a>)"}},{"before":"7dde9a80eb66d4f72930e8e3b9bef846e443290b","after":"b6413db703a7a194947cbf81a6e429001f0a6f31","ref":"refs/heads/master","pushedAt":"2024-07-14T17:35:12.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"sjunges","name":"Sebastian Junges","path":"/sjunges","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13627276?s=80&v=4"},"commit":{"message":"Add bindings for the Smg class (#173)","shortMessageHtmlLink":"Add bindings for the Smg class (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2407061937\" data-permission-text=\"Title is private\" data-url=\"https://github.com/moves-rwth/stormpy/issues/173\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/moves-rwth/stormpy/pull/173/hovercard\" href=\"https://github.com/moves-rwth/stormpy/pull/173\">#173</a>)"}},{"before":"0759c70ec1c33ffed4d2f12b973bda8414a9dc61","after":"1d53eacbc5e03666cb17c629ac631ef51367a72f","ref":"refs/heads/gh-pages","pushedAt":"2024-07-10T21:51:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: 7dde9a80eb66d4f72930e8e3b9bef846e443290b","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/moves-rwth/stormpy/commit/7dde9a80eb66d4f72930e8e3b9bef846e443290b/hovercard\" href=\"https://github.com/moves-rwth/stormpy/commit/7dde9a80eb66d4f72930e8e3b9bef846e443290b\"><tt>7dde9a8</tt></a>"}},{"before":"496a0318aec8680ceb329ff60c6a36ec76639914","after":"7dde9a80eb66d4f72930e8e3b9bef846e443290b","ref":"refs/heads/master","pushedAt":"2024-07-10T21:24:12.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"volkm","name":"Matthias Volk","path":"/volkm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24915841?s=80&v=4"},"commit":{"message":"Adaption to changes in Storm (#171)","shortMessageHtmlLink":"Adaption to changes in Storm (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2400520223\" data-permission-text=\"Title is private\" data-url=\"https://github.com/moves-rwth/stormpy/issues/171\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/moves-rwth/stormpy/pull/171/hovercard\" href=\"https://github.com/moves-rwth/stormpy/pull/171\">#171</a>)"}},{"before":"7efafd0702be8497c773571331fa433bdf4bd861","after":"0759c70ec1c33ffed4d2f12b973bda8414a9dc61","ref":"refs/heads/gh-pages","pushedAt":"2024-07-03T15:27:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: 496a0318aec8680ceb329ff60c6a36ec76639914","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/moves-rwth/stormpy/commit/496a0318aec8680ceb329ff60c6a36ec76639914/hovercard\" href=\"https://github.com/moves-rwth/stormpy/commit/496a0318aec8680ceb329ff60c6a36ec76639914\"><tt>496a031</tt></a>"}},{"before":"b7a12d6b40b06f64d48968501917cbac689768eb","after":null,"ref":"refs/heads/dependabot/github_actions/peaceiris/actions-gh-pages-4","pushedAt":"2024-07-03T14:58:24.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"volkm","name":"Matthias Volk","path":"/volkm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24915841?s=80&v=4"}},{"before":"9a0f6e58aead7d5dff5aae9b77e04e715ee198fe","after":"496a0318aec8680ceb329ff60c6a36ec76639914","ref":"refs/heads/master","pushedAt":"2024-07-03T14:58:20.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"volkm","name":"Matthias Volk","path":"/volkm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24915841?s=80&v=4"},"commit":{"message":"Bump peaceiris/actions-gh-pages from 3 to 4 (#170)","shortMessageHtmlLink":"Bump peaceiris/actions-gh-pages from 3 to 4 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2388783023\" data-permission-text=\"Title is private\" data-url=\"https://github.com/moves-rwth/stormpy/issues/170\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/moves-rwth/stormpy/pull/170/hovercard\" href=\"https://github.com/moves-rwth/stormpy/pull/170\">#170</a>)"}},{"before":"fb1ba91d6a35dc00ca01edd4956a6387a267b5a4","after":"7efafd0702be8497c773571331fa433bdf4bd861","ref":"refs/heads/gh-pages","pushedAt":"2024-07-03T14:56:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: 9a0f6e58aead7d5dff5aae9b77e04e715ee198fe","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/moves-rwth/stormpy/commit/9a0f6e58aead7d5dff5aae9b77e04e715ee198fe/hovercard\" href=\"https://github.com/moves-rwth/stormpy/commit/9a0f6e58aead7d5dff5aae9b77e04e715ee198fe\"><tt>9a0f6e5</tt></a>"}},{"before":null,"after":"b7a12d6b40b06f64d48968501917cbac689768eb","ref":"refs/heads/dependabot/github_actions/peaceiris/actions-gh-pages-4","pushedAt":"2024-07-03T14:26:33.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"Bump peaceiris/actions-gh-pages from 3 to 4\n\nBumps [peaceiris/actions-gh-pages](https://github.com/peaceiris/actions-gh-pages) from 3 to 4.\n- [Release notes](https://github.com/peaceiris/actions-gh-pages/releases)\n- [Changelog](https://github.com/peaceiris/actions-gh-pages/blob/main/CHANGELOG.md)\n- [Commits](https://github.com/peaceiris/actions-gh-pages/compare/v3...v4)\n\n---\nupdated-dependencies:\n- dependency-name: peaceiris/actions-gh-pages\n  dependency-type: direct:production\n  update-type: version-update:semver-major\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump peaceiris/actions-gh-pages from 3 to 4"}},{"before":"598dbad2fe7c0ef815d40e2539096edd7179908a","after":"9a0f6e58aead7d5dff5aae9b77e04e715ee198fe","ref":"refs/heads/master","pushedAt":"2024-07-03T14:26:11.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"volkm","name":"Matthias Volk","path":"/volkm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24915841?s=80&v=4"},"commit":{"message":"Dependabot to automatically update Github actions (#166)","shortMessageHtmlLink":"Dependabot to automatically update Github actions (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2323175973\" data-permission-text=\"Title is private\" data-url=\"https://github.com/moves-rwth/stormpy/issues/166\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/moves-rwth/stormpy/pull/166/hovercard\" href=\"https://github.com/moves-rwth/stormpy/pull/166\">#166</a>)"}},{"before":"15c19592c0c9cbaf32ec0dc44072b22dec274f84","after":"fb1ba91d6a35dc00ca01edd4956a6387a267b5a4","ref":"refs/heads/gh-pages","pushedAt":"2024-07-03T10:39:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: 598dbad2fe7c0ef815d40e2539096edd7179908a","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/moves-rwth/stormpy/commit/598dbad2fe7c0ef815d40e2539096edd7179908a/hovercard\" href=\"https://github.com/moves-rwth/stormpy/commit/598dbad2fe7c0ef815d40e2539096edd7179908a\"><tt>598dbad</tt></a>"}},{"before":"d2535b659236ed5c72dff870822c9c68ffabcb1b","after":"15c19592c0c9cbaf32ec0dc44072b22dec274f84","ref":"refs/heads/gh-pages","pushedAt":"2024-05-23T16:36:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: 598dbad2fe7c0ef815d40e2539096edd7179908a","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/moves-rwth/stormpy/commit/598dbad2fe7c0ef815d40e2539096edd7179908a/hovercard\" href=\"https://github.com/moves-rwth/stormpy/commit/598dbad2fe7c0ef815d40e2539096edd7179908a\"><tt>598dbad</tt></a>"}},{"before":"5c9028cc0deaf9bdc520f004593f940fad6ce8fb","after":"598dbad2fe7c0ef815d40e2539096edd7179908a","ref":"refs/heads/master","pushedAt":"2024-05-23T16:04:22.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"sjunges","name":"Sebastian Junges","path":"/sjunges","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13627276?s=80&v=4"},"commit":{"message":"Install setuptools in Dockerfile (#165)","shortMessageHtmlLink":"Install setuptools in Dockerfile (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2313260497\" data-permission-text=\"Title is private\" data-url=\"https://github.com/moves-rwth/stormpy/issues/165\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/moves-rwth/stormpy/pull/165/hovercard\" href=\"https://github.com/moves-rwth/stormpy/pull/165\">#165</a>)"}},{"before":"6c983bc9395646ccbe04cbf7238d6f5aeb922946","after":"5c9028cc0deaf9bdc520f004593f940fad6ce8fb","ref":"refs/heads/master","pushedAt":"2024-05-23T15:08:01.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"sjunges","name":"Sebastian Junges","path":"/sjunges","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13627276?s=80&v=4"},"commit":{"message":"Changes in storm. (#164)\n\n* rational function inclusion to reflect changes in main storm","shortMessageHtmlLink":"Changes in storm. (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2313162940\" data-permission-text=\"Title is private\" data-url=\"https://github.com/moves-rwth/stormpy/issues/164\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/moves-rwth/stormpy/pull/164/hovercard\" href=\"https://github.com/moves-rwth/stormpy/pull/164\">#164</a>)"}},{"before":"d373e6ee143a69899bb1b4620d9091d817de235d","after":"d2535b659236ed5c72dff870822c9c68ffabcb1b","ref":"refs/heads/gh-pages","pushedAt":"2024-05-22T10:26:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: 6c983bc9395646ccbe04cbf7238d6f5aeb922946","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/moves-rwth/stormpy/commit/6c983bc9395646ccbe04cbf7238d6f5aeb922946/hovercard\" href=\"https://github.com/moves-rwth/stormpy/commit/6c983bc9395646ccbe04cbf7238d6f5aeb922946\"><tt>6c983bc</tt></a>"}},{"before":"4def5ff3e8ddc16234ebbd03278eab5f47aafce8","after":"d373e6ee143a69899bb1b4620d9091d817de235d","ref":"refs/heads/gh-pages","pushedAt":"2024-05-15T10:27:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: 6c983bc9395646ccbe04cbf7238d6f5aeb922946","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/moves-rwth/stormpy/commit/6c983bc9395646ccbe04cbf7238d6f5aeb922946/hovercard\" href=\"https://github.com/moves-rwth/stormpy/commit/6c983bc9395646ccbe04cbf7238d6f5aeb922946\"><tt>6c983bc</tt></a>"}},{"before":"10c533a56017917a1b6a4ae4cc76eb57a1741c5d","after":"4def5ff3e8ddc16234ebbd03278eab5f47aafce8","ref":"refs/heads/gh-pages","pushedAt":"2024-05-08T10:26:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: 6c983bc9395646ccbe04cbf7238d6f5aeb922946","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/moves-rwth/stormpy/commit/6c983bc9395646ccbe04cbf7238d6f5aeb922946/hovercard\" href=\"https://github.com/moves-rwth/stormpy/commit/6c983bc9395646ccbe04cbf7238d6f5aeb922946\"><tt>6c983bc</tt></a>"}},{"before":"a061d52578ed817f0c32d22f5554fb3b99f971d6","after":"10c533a56017917a1b6a4ae4cc76eb57a1741c5d","ref":"refs/heads/gh-pages","pushedAt":"2024-05-01T10:26:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: 6c983bc9395646ccbe04cbf7238d6f5aeb922946","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/moves-rwth/stormpy/commit/6c983bc9395646ccbe04cbf7238d6f5aeb922946/hovercard\" href=\"https://github.com/moves-rwth/stormpy/commit/6c983bc9395646ccbe04cbf7238d6f5aeb922946\"><tt>6c983bc</tt></a>"}},{"before":"214e29a96fc247f71575b4c17270f6cb3b29e505","after":"a061d52578ed817f0c32d22f5554fb3b99f971d6","ref":"refs/heads/gh-pages","pushedAt":"2024-04-24T10:26:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: 6c983bc9395646ccbe04cbf7238d6f5aeb922946","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/moves-rwth/stormpy/commit/6c983bc9395646ccbe04cbf7238d6f5aeb922946/hovercard\" href=\"https://github.com/moves-rwth/stormpy/commit/6c983bc9395646ccbe04cbf7238d6f5aeb922946\"><tt>6c983bc</tt></a>"}},{"before":"21083dd9f2466030b2a63785860281a697344050","after":"214e29a96fc247f71575b4c17270f6cb3b29e505","ref":"refs/heads/gh-pages","pushedAt":"2024-04-17T10:26:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: 6c983bc9395646ccbe04cbf7238d6f5aeb922946","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/moves-rwth/stormpy/commit/6c983bc9395646ccbe04cbf7238d6f5aeb922946/hovercard\" href=\"https://github.com/moves-rwth/stormpy/commit/6c983bc9395646ccbe04cbf7238d6f5aeb922946\"><tt>6c983bc</tt></a>"}},{"before":"ec887f9ca541b20fab58b7c75526740e8d123bc3","after":"21083dd9f2466030b2a63785860281a697344050","ref":"refs/heads/gh-pages","pushedAt":"2024-04-10T10:25:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: 6c983bc9395646ccbe04cbf7238d6f5aeb922946","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/moves-rwth/stormpy/commit/6c983bc9395646ccbe04cbf7238d6f5aeb922946/hovercard\" href=\"https://github.com/moves-rwth/stormpy/commit/6c983bc9395646ccbe04cbf7238d6f5aeb922946\"><tt>6c983bc</tt></a>"}},{"before":"ca9be59cad19e50f0a015062172b27c2c47ca75e","after":"ec887f9ca541b20fab58b7c75526740e8d123bc3","ref":"refs/heads/gh-pages","pushedAt":"2024-04-03T10:26:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: 6c983bc9395646ccbe04cbf7238d6f5aeb922946","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/moves-rwth/stormpy/commit/6c983bc9395646ccbe04cbf7238d6f5aeb922946/hovercard\" href=\"https://github.com/moves-rwth/stormpy/commit/6c983bc9395646ccbe04cbf7238d6f5aeb922946\"><tt>6c983bc</tt></a>"}},{"before":"f9ac5da08b0f592854a33250b10adf50c61f2e51","after":"ca9be59cad19e50f0a015062172b27c2c47ca75e","ref":"refs/heads/gh-pages","pushedAt":"2024-03-27T10:25:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: 6c983bc9395646ccbe04cbf7238d6f5aeb922946","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/moves-rwth/stormpy/commit/6c983bc9395646ccbe04cbf7238d6f5aeb922946/hovercard\" href=\"https://github.com/moves-rwth/stormpy/commit/6c983bc9395646ccbe04cbf7238d6f5aeb922946\"><tt>6c983bc</tt></a>"}},{"before":"4cfc9e3e6bea776ceb1a9128ea4da953d690ceeb","after":"f9ac5da08b0f592854a33250b10adf50c61f2e51","ref":"refs/heads/gh-pages","pushedAt":"2024-03-20T10:25:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: 6c983bc9395646ccbe04cbf7238d6f5aeb922946","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/moves-rwth/stormpy/commit/6c983bc9395646ccbe04cbf7238d6f5aeb922946/hovercard\" href=\"https://github.com/moves-rwth/stormpy/commit/6c983bc9395646ccbe04cbf7238d6f5aeb922946\"><tt>6c983bc</tt></a>"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEk_9bpQA","startCursor":null,"endCursor":null}},"title":"Activity · moves-rwth/stormpy"}