{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":71395504,"defaultBranch":"master","name":"storm","ownerLogin":"moves-rwth","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2016-10-19T20:14:18.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/22944638?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1725487757.0","currentOid":""},"activityList":{"items":[{"before":"db61b80cb86b5adf3b027bebc46587258c0ec011","after":"9fba97a4a14f346427b7c8954cb5750ce311afd6","ref":"refs/heads/master","pushedAt":"2024-09-10T09:23:27.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"AlexBork","name":"Alex Bork","path":"/AlexBork","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11278327?s=80&v=4"},"commit":{"message":"Improve output for MakePOMDPCanonic (#606)","shortMessageHtmlLink":"Improve output for MakePOMDPCanonic (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2494045656\" data-permission-text=\"Title is private\" data-url=\"https://github.com/moves-rwth/storm/issues/606\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/moves-rwth/storm/pull/606/hovercard\" href=\"https://github.com/moves-rwth/storm/pull/606\">#606</a>)"}},{"before":"0b1cae2a94f06984f3cf4cecf5a5090e9bc71a56","after":"db61b80cb86b5adf3b027bebc46587258c0ec011","ref":"refs/heads/master","pushedAt":"2024-09-10T08:47: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":"Require explicitly providing bucketSize for BitVectorHashMap (#620)","shortMessageHtmlLink":"Require explicitly providing bucketSize for BitVectorHashMap (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2515601153\" data-permission-text=\"Title is private\" data-url=\"https://github.com/moves-rwth/storm/issues/620\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/moves-rwth/storm/pull/620/hovercard\" href=\"https://github.com/moves-rwth/storm/pull/620\">#620</a>)"}},{"before":"a1946a0bd46bacaa7bda04609abef2baf61adc90","after":null,"ref":"refs/heads/dependabot/github_actions/peter-evans/create-pull-request-7","pushedAt":"2024-09-04T22:09:17.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":"eb9bb5c8e9e8c09ed565097f44440f832bd611e8","after":"0b1cae2a94f06984f3cf4cecf5a5090e9bc71a56","ref":"refs/heads/master","pushedAt":"2024-09-04T22:09:15.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 peter-evans/create-pull-request from 6 to 7 (#614)","shortMessageHtmlLink":"Bump peter-evans/create-pull-request from 6 to 7 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2506023760\" data-permission-text=\"Title is private\" data-url=\"https://github.com/moves-rwth/storm/issues/614\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/moves-rwth/storm/pull/614/hovercard\" href=\"https://github.com/moves-rwth/storm/pull/614\">#614</a>)"}},{"before":"52799f6bb147af7ae13695a94136ab4b5fd5f3a4","after":"eb9bb5c8e9e8c09ed565097f44440f832bd611e8","ref":"refs/heads/master","pushedAt":"2024-09-04T22:08:46.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":"Fixed issues with DFT representant computation (#605)","shortMessageHtmlLink":"Fixed issues with DFT representant computation (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2492960831\" data-permission-text=\"Title is private\" data-url=\"https://github.com/moves-rwth/storm/issues/605\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/moves-rwth/storm/pull/605/hovercard\" href=\"https://github.com/moves-rwth/storm/pull/605\">#605</a>)"}},{"before":"d61ad71cd467035d1557c430c2ac8fde3fa9d18a","after":"52799f6bb147af7ae13695a94136ab4b5fd5f3a4","ref":"refs/heads/master","pushedAt":"2024-09-04T21:03:54.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":"Limit Sylvan threads to 1 on Apple Silicon (#613)","shortMessageHtmlLink":"Limit Sylvan threads to 1 on Apple Silicon (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2505620711\" data-permission-text=\"Title is private\" data-url=\"https://github.com/moves-rwth/storm/issues/613\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/moves-rwth/storm/pull/613/hovercard\" href=\"https://github.com/moves-rwth/storm/pull/613\">#613</a>)"}},{"before":"724725358cc7f938c05189ceebf4abcb0ce49900","after":"a1946a0bd46bacaa7bda04609abef2baf61adc90","ref":"refs/heads/dependabot/github_actions/peter-evans/create-pull-request-7","pushedAt":"2024-09-04T20:54:23.000Z","pushType":"force_push","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 peter-evans/create-pull-request from 6 to 7\n\nBumps [peter-evans/create-pull-request](https://github.com/peter-evans/create-pull-request) from 6 to 7.\n- [Release notes](https://github.com/peter-evans/create-pull-request/releases)\n- [Commits](https://github.com/peter-evans/create-pull-request/compare/v6...v7)\n\n---\nupdated-dependencies:\n- dependency-name: peter-evans/create-pull-request\n  dependency-type: direct:production\n  update-type: version-update:semver-major\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump peter-evans/create-pull-request from 6 to 7"}},{"before":"e3ac83c7813c477eb6c728bf7f3ea53e998f6e56","after":null,"ref":"refs/heads/ci/apply-code-format","pushedAt":"2024-09-04T20:07:33.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":"ef92a8188e0ef69864f8397d200454784c10ad27","after":"d61ad71cd467035d1557c430c2ac8fde3fa9d18a","ref":"refs/heads/master","pushedAt":"2024-09-04T20:07:28.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":"Code formatting (#615)","shortMessageHtmlLink":"Code formatting (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2506074740\" data-permission-text=\"Title is private\" data-url=\"https://github.com/moves-rwth/storm/issues/615\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/moves-rwth/storm/pull/615/hovercard\" href=\"https://github.com/moves-rwth/storm/pull/615\">#615</a>)"}},{"before":null,"after":"e3ac83c7813c477eb6c728bf7f3ea53e998f6e56","ref":"refs/heads/ci/apply-code-format","pushedAt":"2024-09-04T19:00:11.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Add code formatting commit to .git-blame-ignore-revs","shortMessageHtmlLink":"Add code formatting commit to .git-blame-ignore-revs"}},{"before":null,"after":"724725358cc7f938c05189ceebf4abcb0ce49900","ref":"refs/heads/dependabot/github_actions/peter-evans/create-pull-request-7","pushedAt":"2024-09-04T18:28:31.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 peter-evans/create-pull-request from 6 to 7\n\nBumps [peter-evans/create-pull-request](https://github.com/peter-evans/create-pull-request) from 6 to 7.\n- [Release notes](https://github.com/peter-evans/create-pull-request/releases)\n- [Commits](https://github.com/peter-evans/create-pull-request/compare/v6...v7)\n\n---\nupdated-dependencies:\n- dependency-name: peter-evans/create-pull-request\n  dependency-type: direct:production\n  update-type: version-update:semver-major\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump peter-evans/create-pull-request from 6 to 7"}},{"before":"d51994674279af8a26222bbea7e61e01012d50c3","after":"ef92a8188e0ef69864f8397d200454784c10ad27","ref":"refs/heads/master","pushedAt":"2024-09-04T08:59:45.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"tquatmann","name":"Tim Quatmann","path":"/tquatmann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17703338?s=80&v=4"},"commit":{"message":"Minor improvements for steady-state properties: (#595)\n\n* Do not disable topological solving for EVT-based steady state computation\r\n* Streamline CLI output and handle non-default filter types","shortMessageHtmlLink":"Minor improvements for steady-state properties: (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2475194612\" data-permission-text=\"Title is private\" data-url=\"https://github.com/moves-rwth/storm/issues/595\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/moves-rwth/storm/pull/595/hovercard\" href=\"https://github.com/moves-rwth/storm/pull/595\">#595</a>)"}},{"before":"cc89e79331390b80cf0a775bb32c21bf017c06ce","after":"d51994674279af8a26222bbea7e61e01012d50c3","ref":"refs/heads/master","pushedAt":"2024-09-04T07:09:55.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"tquatmann","name":"Tim Quatmann","path":"/tquatmann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17703338?s=80&v=4"},"commit":{"message":"Fix handling of SMGs with non-synchronizing but labeled actions. (#612)\n\nPreviously, all non-synchronizing commands were  assigned to the player owning the module, even if the command has an action label. However, the correct behavior (as far as I understand the specification) is that only unlabeled commands are associated to the module player.\r\n\r\nFixes #609","shortMessageHtmlLink":"Fix handling of SMGs with non-synchronizing but labeled actions. (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2502774891\" data-permission-text=\"Title is private\" data-url=\"https://github.com/moves-rwth/storm/issues/612\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/moves-rwth/storm/pull/612/hovercard\" href=\"https://github.com/moves-rwth/storm/pull/612\">#612</a>)"}},{"before":"603b2c3eb65d7efd7aaf3fd3cf783a88fcaa4289","after":"cc89e79331390b80cf0a775bb32c21bf017c06ce","ref":"refs/heads/master","pushedAt":"2024-09-03T19:37:41.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"tquatmann","name":"Tim Quatmann","path":"/tquatmann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17703338?s=80&v=4"},"commit":{"message":"Update Eigen to (unofficial) version 3.4.1 (#611)\n\n* Update Eigen to (unofficial) version 3.4.1\r\n\r\nThis is not an official release but seems to be stable enough for our purposes.\r\nAlso avoids having different Eigen versions for Apple Silicon systems vs. the rest.","shortMessageHtmlLink":"Update Eigen to (unofficial) version 3.4.1 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2502620791\" data-permission-text=\"Title is private\" data-url=\"https://github.com/moves-rwth/storm/issues/611\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/moves-rwth/storm/pull/611/hovercard\" href=\"https://github.com/moves-rwth/storm/pull/611\">#611</a>)"}},{"before":"6d0e4f415028413330f223cf081cdfc320bbb3dc","after":"603b2c3eb65d7efd7aaf3fd3cf783a88fcaa4289","ref":"refs/heads/master","pushedAt":"2024-09-02T12:01:32.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":"Fixed bug in FailableElements iterator (#608)","shortMessageHtmlLink":"Fixed bug in FailableElements iterator (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2496633717\" data-permission-text=\"Title is private\" data-url=\"https://github.com/moves-rwth/storm/issues/608\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/moves-rwth/storm/pull/608/hovercard\" href=\"https://github.com/moves-rwth/storm/pull/608\">#608</a>)"}},{"before":"f6b1d20b6f45c1c14ba7381ea4fda8a628711612","after":"6d0e4f415028413330f223cf081cdfc320bbb3dc","ref":"refs/heads/master","pushedAt":"2024-08-27T09:22:19.000Z","pushType":"pr_merge","commitsCount":8,"pusher":{"login":"volkm","name":"Matthias Volk","path":"/volkm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24915841?s=80&v=4"},"commit":{"message":"CI job with minimal dependencies (#520)","shortMessageHtmlLink":"CI job with minimal dependencies (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2238646847\" data-permission-text=\"Title is private\" data-url=\"https://github.com/moves-rwth/storm/issues/520\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/moves-rwth/storm/pull/520/hovercard\" href=\"https://github.com/moves-rwth/storm/pull/520\">#520</a>)"}},{"before":"d4bf482a771800301f2285be13b147222bc4328c","after":"f6b1d20b6f45c1c14ba7381ea4fda8a628711612","ref":"refs/heads/master","pushedAt":"2024-08-27T08:12:40.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":"Dedicated Dockerfile for buiding Doxygen documentation (#599)","shortMessageHtmlLink":"Dedicated Dockerfile for buiding Doxygen documentation (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2486206870\" data-permission-text=\"Title is private\" data-url=\"https://github.com/moves-rwth/storm/issues/599\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/moves-rwth/storm/pull/599/hovercard\" href=\"https://github.com/moves-rwth/storm/pull/599\">#599</a>)"}},{"before":"79908cc1b30508b59beafff13d4715e7dce3d553","after":"d4bf482a771800301f2285be13b147222bc4328c","ref":"refs/heads/master","pushedAt":"2024-08-26T14:13:38.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":"Targetincludes (#597)\n\n* removed untargeted include directories in favour of targeted include dirs. Required lots of 'fixed' paths","shortMessageHtmlLink":"Targetincludes (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2475606666\" data-permission-text=\"Title is private\" data-url=\"https://github.com/moves-rwth/storm/issues/597\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/moves-rwth/storm/pull/597/hovercard\" href=\"https://github.com/moves-rwth/storm/pull/597\">#597</a>)"}},{"before":"239889f349d99ca1d360b90ef62912e4cde67d4a","after":"79908cc1b30508b59beafff13d4715e7dce3d553","ref":"refs/heads/master","pushedAt":"2024-08-26T11:49:10.000Z","pushType":"pr_merge","commitsCount":7,"pusher":{"login":"volkm","name":"Matthias Volk","path":"/volkm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24915841?s=80&v=4"},"commit":{"message":"Bump build system (#598)","shortMessageHtmlLink":"Bump build system (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2482983037\" data-permission-text=\"Title is private\" data-url=\"https://github.com/moves-rwth/storm/issues/598\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/moves-rwth/storm/pull/598/hovercard\" href=\"https://github.com/moves-rwth/storm/pull/598\">#598</a>)"}},{"before":"5d5ebe4c13541e60def41886b676298d2e3a75b4","after":"239889f349d99ca1d360b90ef62912e4cde67d4a","ref":"refs/heads/master","pushedAt":"2024-08-26T11:37:29.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"tquatmann","name":"Tim Quatmann","path":"/tquatmann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17703338?s=80&v=4"},"commit":{"message":"Fixed issue in computation of cumulative rewards (#594)","shortMessageHtmlLink":"Fixed issue in computation of cumulative rewards (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2475010207\" data-permission-text=\"Title is private\" data-url=\"https://github.com/moves-rwth/storm/issues/594\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/moves-rwth/storm/pull/594/hovercard\" href=\"https://github.com/moves-rwth/storm/pull/594\">#594</a>)"}},{"before":"3f74f3e59acfba3b61c686af01a864962d44af97","after":"5d5ebe4c13541e60def41886b676298d2e3a75b4","ref":"refs/heads/stable","pushedAt":"2024-08-21T12:21:32.000Z","pushType":"push","commitsCount":193,"pusher":{"login":"volkm","name":"Matthias Volk","path":"/volkm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24915841?s=80&v=4"},"commit":{"message":"Storm version 1.9.0 (#596)","shortMessageHtmlLink":"Storm version 1.9.0 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2475491457\" data-permission-text=\"Title is private\" data-url=\"https://github.com/moves-rwth/storm/issues/596\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/moves-rwth/storm/pull/596/hovercard\" href=\"https://github.com/moves-rwth/storm/pull/596\">#596</a>)"}},{"before":"50583e8f5f870b24b860c1f0e132b944be672dea","after":"5d5ebe4c13541e60def41886b676298d2e3a75b4","ref":"refs/heads/master","pushedAt":"2024-08-21T10:00: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":"Storm version 1.9.0 (#596)","shortMessageHtmlLink":"Storm version 1.9.0 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2475491457\" data-permission-text=\"Title is private\" data-url=\"https://github.com/moves-rwth/storm/issues/596\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/moves-rwth/storm/pull/596/hovercard\" href=\"https://github.com/moves-rwth/storm/pull/596\">#596</a>)"}},{"before":"8e17b2564552e5b9e37dec8438829d6fb880a9cd","after":"50583e8f5f870b24b860c1f0e132b944be672dea","ref":"refs/heads/master","pushedAt":"2024-08-14T08:51:24.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"volkm","name":"Matthias Volk","path":"/volkm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24915841?s=80&v=4"},"commit":{"message":"Updated changelog (#589)","shortMessageHtmlLink":"Updated changelog (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2444595325\" data-permission-text=\"Title is private\" data-url=\"https://github.com/moves-rwth/storm/issues/589\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/moves-rwth/storm/pull/589/hovercard\" href=\"https://github.com/moves-rwth/storm/pull/589\">#589</a>)"}},{"before":"c6f5a0ff823ee538737b24f90ee84a259d0579b7","after":null,"ref":"refs/heads/ci/apply-code-format","pushedAt":"2024-08-12T12:05:33.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":"623ebd91e841f58570db42aa6dd863b9a80312c2","after":"8e17b2564552e5b9e37dec8438829d6fb880a9cd","ref":"refs/heads/master","pushedAt":"2024-08-12T12:05:29.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":"Code formatting (#593)","shortMessageHtmlLink":"Code formatting (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2460687336\" data-permission-text=\"Title is private\" data-url=\"https://github.com/moves-rwth/storm/issues/593\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/moves-rwth/storm/pull/593/hovercard\" href=\"https://github.com/moves-rwth/storm/pull/593\">#593</a>)"}},{"before":null,"after":"c6f5a0ff823ee538737b24f90ee84a259d0579b7","ref":"refs/heads/ci/apply-code-format","pushedAt":"2024-08-12T11:03:20.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Add code formatting commit to .git-blame-ignore-revs","shortMessageHtmlLink":"Add code formatting commit to .git-blame-ignore-revs"}},{"before":"1e99aa5f786f1bb6cdcc71fc01440f3aba652422","after":null,"ref":"refs/heads/dependabot/github_actions/DoozyX/clang-format-lint-action-0.18","pushedAt":"2024-08-12T10:03:59.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":"ed78ed06e52789759fbd6d17420035e19920fddd","after":"623ebd91e841f58570db42aa6dd863b9a80312c2","ref":"refs/heads/master","pushedAt":"2024-08-12T10:03:56.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 DoozyX/clang-format-lint-action from 0.17 to 0.18 (#591)","shortMessageHtmlLink":"Bump DoozyX/clang-format-lint-action from 0.17 to 0.18 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2460295110\" data-permission-text=\"Title is private\" data-url=\"https://github.com/moves-rwth/storm/issues/591\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/moves-rwth/storm/pull/591/hovercard\" href=\"https://github.com/moves-rwth/storm/pull/591\">#591</a>)"}},{"before":"8289db93e93d025811033fa4d8405e2a615e4be7","after":"ed78ed06e52789759fbd6d17420035e19920fddd","ref":"refs/heads/master","pushedAt":"2024-08-12T10:01:29.000Z","pushType":"pr_merge","commitsCount":10,"pusher":{"login":"volkm","name":"Matthias Volk","path":"/volkm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24915841?s=80&v=4"},"commit":{"message":"Revised DFT simulation (#582)","shortMessageHtmlLink":"Revised DFT simulation (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2410700017\" data-permission-text=\"Title is private\" data-url=\"https://github.com/moves-rwth/storm/issues/582\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/moves-rwth/storm/pull/582/hovercard\" href=\"https://github.com/moves-rwth/storm/pull/582\">#582</a>)"}},{"before":"ad8b641f465470daa42a0f693f8a1999fc805999","after":"1e99aa5f786f1bb6cdcc71fc01440f3aba652422","ref":"refs/heads/dependabot/github_actions/DoozyX/clang-format-lint-action-0.18","pushedAt":"2024-08-12T08:55:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"volkm","name":"Matthias Volk","path":"/volkm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24915841?s=80&v=4"},"commit":{"message":"Bump clang format to v18","shortMessageHtmlLink":"Bump clang format to v18"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xMFQwOToyMzoyNy4wMDAwMDBazwAAAASx1_Dh","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xMFQwOToyMzoyNy4wMDAwMDBazwAAAASx1_Dh","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0xMlQwODo1NTozNS4wMDAwMDBazwAAAASX5IZK"}},"title":"Activity · moves-rwth/storm"}