{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":580489837,"defaultBranch":"main","name":"key","ownerLogin":"KeYProject","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-12-20T17:32:07.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/18749969?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1717392057.0","currentOid":""},"activityList":{"items":[{"before":"af7338b7121d7607a6c3795fcf1a55f1fe6b4823","after":null,"ref":"refs/tags/nightly","pushedAt":"2024-06-03T05:20:55.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"}},{"before":"d2df3b81edff8583efa07d6ae9ae0df7c9378dca","after":null,"ref":"refs/heads/dependabot/github_actions/github-actions-deps-54a2987dc7","pushedAt":"2024-06-02T17:54:15.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"wadoon","name":"Alexander Weigl","path":"/wadoon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/104259?s=80&v=4"}},{"before":"45d3125a3d5031d96526a776bc723d7ed580b5e0","after":null,"ref":"refs/heads/dependabot/gradle/gradle-deps-e4c45587ae","pushedAt":"2024-06-02T17:54:15.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"wadoon","name":"Alexander Weigl","path":"/wadoon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/104259?s=80&v=4"}},{"before":"a59981335ec5cb3d4795f654ba73b24ddefb0904","after":null,"ref":"refs/heads/gh-readonly-queue/main/pr-3474-63e3e069415ae1362cbf22d0b0825ca2e2ce970b","pushedAt":"2024-06-02T17:54:14.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"github-merge-queue[bot]","name":null,"path":"/apps/github-merge-queue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9919?s=80&v=4"}},{"before":"63e3e069415ae1362cbf22d0b0825ca2e2ce970b","after":null,"ref":"refs/heads/gh-readonly-queue/main/pr-3475-af7338b7121d7607a6c3795fcf1a55f1fe6b4823","pushedAt":"2024-06-02T17:54:14.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"github-merge-queue[bot]","name":null,"path":"/apps/github-merge-queue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9919?s=80&v=4"}},{"before":"af7338b7121d7607a6c3795fcf1a55f1fe6b4823","after":"a59981335ec5cb3d4795f654ba73b24ddefb0904","ref":"refs/heads/main","pushedAt":"2024-06-02T17:54:13.000Z","pushType":"merge_queue_merge","commitsCount":4,"pusher":{"login":"github-merge-queue[bot]","name":null,"path":"/apps/github-merge-queue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9919?s=80&v=4"},"commit":{"message":"Bump the github-actions-deps group with 4 updates (#3474)","shortMessageHtmlLink":"Bump the github-actions-deps group with 4 updates (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2329335257\" data-permission-text=\"Title is private\" data-url=\"https://github.com/KeYProject/key/issues/3474\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/KeYProject/key/pull/3474/hovercard\" href=\"https://github.com/KeYProject/key/pull/3474\">#3474</a>)"}},{"before":null,"after":"a59981335ec5cb3d4795f654ba73b24ddefb0904","ref":"refs/heads/gh-readonly-queue/main/pr-3474-63e3e069415ae1362cbf22d0b0825ca2e2ce970b","pushedAt":"2024-06-02T16:48:32.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"github-merge-queue[bot]","name":null,"path":"/apps/github-merge-queue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9919?s=80&v=4"},"commit":{"message":"Bump the github-actions-deps group with 4 updates (#3474)","shortMessageHtmlLink":"Bump the github-actions-deps group with 4 updates (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2329335257\" data-permission-text=\"Title is private\" data-url=\"https://github.com/KeYProject/key/issues/3474\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/KeYProject/key/pull/3474/hovercard\" href=\"https://github.com/KeYProject/key/pull/3474\">#3474</a>)"}},{"before":null,"after":"63e3e069415ae1362cbf22d0b0825ca2e2ce970b","ref":"refs/heads/gh-readonly-queue/main/pr-3475-af7338b7121d7607a6c3795fcf1a55f1fe6b4823","pushedAt":"2024-06-02T16:48:12.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"github-merge-queue[bot]","name":null,"path":"/apps/github-merge-queue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9919?s=80&v=4"},"commit":{"message":"Bump the gradle-deps group with 6 updates (#3475)","shortMessageHtmlLink":"Bump the gradle-deps group with 6 updates (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2329338693\" data-permission-text=\"Title is private\" data-url=\"https://github.com/KeYProject/key/issues/3475\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/KeYProject/key/pull/3475/hovercard\" href=\"https://github.com/KeYProject/key/pull/3475\">#3475</a>)"}},{"before":null,"after":"45d3125a3d5031d96526a776bc723d7ed580b5e0","ref":"refs/heads/dependabot/gradle/gradle-deps-e4c45587ae","pushedAt":"2024-06-01T21:01:21.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 the gradle-deps group with 6 updates\n\nBumps the gradle-deps group with 6 updates:\n\n| Package | From | To |\n| --- | --- | --- |\n| org.slf4j:slf4j-api | `2.0.12` | `2.0.13` |\n| [ch.qos.logback:logback-classic](https://github.com/qos-ch/logback) | `1.4.8` | `1.5.6` |\n| [io.github.eisop:checker-qual](https://github.com/eisop/checker-framework) | `3.42.0-eisop2` | `3.42.0-eisop3` |\n| [io.github.eisop:checker-util](https://github.com/eisop/checker-framework) | `3.42.0-eisop2` | `3.42.0-eisop3` |\n| [io.github.eisop:checker](https://github.com/eisop/checker-framework) | `3.42.0-eisop2` | `3.42.0-eisop3` |\n| org.checkerframework | `0.6.28` | `0.6.39` |\n\n\nUpdates `org.slf4j:slf4j-api` from 2.0.12 to 2.0.13\n\nUpdates `ch.qos.logback:logback-classic` from 1.4.8 to 1.5.6\n- [Commits](https://github.com/qos-ch/logback/compare/v_1.4.8...v_1.5.6)\n\nUpdates `io.github.eisop:checker-qual` from 3.42.0-eisop2 to 3.42.0-eisop3\n- [Release notes](https://github.com/eisop/checker-framework/releases)\n- [Changelog](https://github.com/eisop/checker-framework/blob/master/docs/CHANGELOG.md)\n- [Commits](https://github.com/eisop/checker-framework/compare/checker-framework-3.42.0-eisop2...checker-framework-3.42.0-eisop3)\n\nUpdates `io.github.eisop:checker-util` from 3.42.0-eisop2 to 3.42.0-eisop3\n- [Release notes](https://github.com/eisop/checker-framework/releases)\n- [Changelog](https://github.com/eisop/checker-framework/blob/master/docs/CHANGELOG.md)\n- [Commits](https://github.com/eisop/checker-framework/compare/checker-framework-3.42.0-eisop2...checker-framework-3.42.0-eisop3)\n\nUpdates `io.github.eisop:checker` from 3.42.0-eisop2 to 3.42.0-eisop3\n- [Release notes](https://github.com/eisop/checker-framework/releases)\n- [Changelog](https://github.com/eisop/checker-framework/blob/master/docs/CHANGELOG.md)\n- [Commits](https://github.com/eisop/checker-framework/compare/checker-framework-3.42.0-eisop2...checker-framework-3.42.0-eisop3)\n\nUpdates `io.github.eisop:checker-util` from 3.42.0-eisop2 to 3.42.0-eisop3\n- [Release notes](https://github.com/eisop/checker-framework/releases)\n- [Changelog](https://github.com/eisop/checker-framework/blob/master/docs/CHANGELOG.md)\n- [Commits](https://github.com/eisop/checker-framework/compare/checker-framework-3.42.0-eisop2...checker-framework-3.42.0-eisop3)\n\nUpdates `io.github.eisop:checker` from 3.42.0-eisop2 to 3.42.0-eisop3\n- [Release notes](https://github.com/eisop/checker-framework/releases)\n- [Changelog](https://github.com/eisop/checker-framework/blob/master/docs/CHANGELOG.md)\n- [Commits](https://github.com/eisop/checker-framework/compare/checker-framework-3.42.0-eisop2...checker-framework-3.42.0-eisop3)\n\nUpdates `org.checkerframework` from 0.6.28 to 0.6.39\n\n---\nupdated-dependencies:\n- dependency-name: org.slf4j:slf4j-api\n  dependency-type: direct:production\n  update-type: version-update:semver-patch\n  dependency-group: gradle-deps\n- dependency-name: ch.qos.logback:logback-classic\n  dependency-type: direct:production\n  update-type: version-update:semver-minor\n  dependency-group: gradle-deps\n- dependency-name: io.github.eisop:checker-qual\n  dependency-type: direct:production\n  update-type: version-update:semver-patch\n  dependency-group: gradle-deps\n- dependency-name: io.github.eisop:checker-util\n  dependency-type: direct:production\n  update-type: version-update:semver-patch\n  dependency-group: gradle-deps\n- dependency-name: io.github.eisop:checker\n  dependency-type: direct:production\n  update-type: version-update:semver-patch\n  dependency-group: gradle-deps\n- dependency-name: io.github.eisop:checker-util\n  dependency-type: direct:production\n  update-type: version-update:semver-patch\n  dependency-group: gradle-deps\n- dependency-name: io.github.eisop:checker\n  dependency-type: direct:production\n  update-type: version-update:semver-patch\n  dependency-group: gradle-deps\n- dependency-name: org.checkerframework\n  dependency-type: direct:production\n  update-type: version-update:semver-patch\n  dependency-group: gradle-deps\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump the gradle-deps group with 6 updates"}},{"before":null,"after":"d2df3b81edff8583efa07d6ae9ae0df7c9378dca","ref":"refs/heads/dependabot/github_actions/github-actions-deps-54a2987dc7","pushedAt":"2024-06-01T20:53:07.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 the github-actions-deps group with 4 updates\n\nBumps the github-actions-deps group with 4 updates: [actions/checkout](https://github.com/actions/checkout), [actions/setup-java](https://github.com/actions/setup-java), [gradle/gradle-build-action](https://github.com/gradle/gradle-build-action) and [JetBrains/qodana-action](https://github.com/jetbrains/qodana-action).\n\n\nUpdates `actions/checkout` from 3 to 4\n- [Release notes](https://github.com/actions/checkout/releases)\n- [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md)\n- [Commits](https://github.com/actions/checkout/compare/v3...v4)\n\nUpdates `actions/setup-java` from 3 to 4\n- [Release notes](https://github.com/actions/setup-java/releases)\n- [Commits](https://github.com/actions/setup-java/compare/v3...v4)\n\nUpdates `gradle/gradle-build-action` from 2.4.2 to 3.3.2\n- [Release notes](https://github.com/gradle/gradle-build-action/releases)\n- [Commits](https://github.com/gradle/gradle-build-action/compare/v2.4.2...v3.3.2)\n\nUpdates `JetBrains/qodana-action` from 2023.3.2 to 2024.1.5\n- [Release notes](https://github.com/jetbrains/qodana-action/releases)\n- [Commits](https://github.com/jetbrains/qodana-action/compare/v2023.3.2...v2024.1.5)\n\n---\nupdated-dependencies:\n- dependency-name: actions/checkout\n  dependency-type: direct:production\n  update-type: version-update:semver-major\n  dependency-group: github-actions-deps\n- dependency-name: actions/setup-java\n  dependency-type: direct:production\n  update-type: version-update:semver-major\n  dependency-group: github-actions-deps\n- dependency-name: gradle/gradle-build-action\n  dependency-type: direct:production\n  update-type: version-update:semver-major\n  dependency-group: github-actions-deps\n- dependency-name: JetBrains/qodana-action\n  dependency-type: direct:production\n  update-type: version-update:semver-major\n  dependency-group: github-actions-deps\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump the github-actions-deps group with 4 updates"}},{"before":"8f62cf5a1df8de8cc5b6011a3dbe295abe109bde","after":null,"ref":"refs/tags/nightly","pushedAt":"2024-05-27T05:19:11.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"}},{"before":"b82de8cdca3eb63cbee984505a2b717e4277401c","after":"f9190859baf58f2bb0534ae96265dfe45f960572","ref":"refs/heads/weigl/key-javaparser3","pushedAt":"2024-05-26T16:40:27.000Z","pushType":"push","commitsCount":8,"pusher":{"login":"wadoon","name":"Alexander Weigl","path":"/wadoon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/104259?s=80&v=4"},"commit":{"message":"Merge branch 'refs/heads/main' into weigl/key-javaparser3\n\n* refs/heads/main:\n  fixing double artifact upload, forbidden in new version\n  Bump the github-actions-deps group with 11 updates\n  update recoder test cases to JUnit 5\n  removal of JUnit4 deps","shortMessageHtmlLink":"Merge branch 'refs/heads/main' into weigl/key-javaparser3"}},{"before":"a21dded74a8ba0c75088e8cdb6478a43d18a3c38","after":"70d44e36990cdf6f752f554071447fcc923fb9c7","ref":"refs/heads/mulbrichPolymorphic","pushedAt":"2024-05-26T15:42:38.000Z","pushType":"push","commitsCount":8,"pusher":{"login":"wadoon","name":"Alexander Weigl","path":"/wadoon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/104259?s=80&v=4"},"commit":{"message":"Merge branch 'main' into mulbrichPolymorphic","shortMessageHtmlLink":"Merge branch 'main' into mulbrichPolymorphic"}},{"before":null,"after":"584d6c74975a610edc1bff84aee19a0071563bd2","ref":"refs/heads/slicing-fix","pushedAt":"2024-05-24T21:54:53.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"wadoon","name":"Alexander Weigl","path":"/wadoon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/104259?s=80&v=4"},"commit":{"message":"fix merge error","shortMessageHtmlLink":"fix merge error"}},{"before":"0b3f5bda8704a1ebadf0834ec9fdac8eb5fda3e6","after":"29e5cce822dd3ba67bd0fe580ba9648a59d1c1ec","ref":"refs/heads/weigl/pckgreworked","pushedAt":"2024-05-24T21:45:55.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"wadoon","name":"Alexander Weigl","path":"/wadoon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/104259?s=80&v=4"},"commit":{"message":"remove module-info's","shortMessageHtmlLink":"remove module-info's"}},{"before":null,"after":"0b3f5bda8704a1ebadf0834ec9fdac8eb5fda3e6","ref":"refs/heads/weigl/pckgreworked","pushedAt":"2024-05-24T21:44:46.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"wadoon","name":"Alexander Weigl","path":"/wadoon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/104259?s=80&v=4"},"commit":{"message":"remove module-info's","shortMessageHtmlLink":"remove module-info's"}},{"before":"e7ba654c6122ce683ad3f5b8e32d4c6e0986b3a9","after":null,"ref":"refs/heads/dependabot/github_actions/github-actions-deps-9b4758b36a","pushedAt":"2024-05-24T21:42:49.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"wadoon","name":"Alexander Weigl","path":"/wadoon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/104259?s=80&v=4"}},{"before":"af7338b7121d7607a6c3795fcf1a55f1fe6b4823","after":null,"ref":"refs/heads/gh-readonly-queue/main/pr-3464-99658cc185dbad7b2d6c6bc7f8281a6ad3d7b136","pushedAt":"2024-05-24T21:42:48.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"github-merge-queue[bot]","name":null,"path":"/apps/github-merge-queue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9919?s=80&v=4"}},{"before":"99658cc185dbad7b2d6c6bc7f8281a6ad3d7b136","after":"af7338b7121d7607a6c3795fcf1a55f1fe6b4823","ref":"refs/heads/main","pushedAt":"2024-05-24T21:42:47.000Z","pushType":"merge_queue_merge","commitsCount":3,"pusher":{"login":"github-merge-queue[bot]","name":null,"path":"/apps/github-merge-queue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9919?s=80&v=4"},"commit":{"message":"Bump the github-actions-deps group with 11 updates (#3464)","shortMessageHtmlLink":"Bump the github-actions-deps group with 11 updates (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2256586117\" data-permission-text=\"Title is private\" data-url=\"https://github.com/KeYProject/key/issues/3464\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/KeYProject/key/pull/3464/hovercard\" href=\"https://github.com/KeYProject/key/pull/3464\">#3464</a>)"}},{"before":null,"after":"af7338b7121d7607a6c3795fcf1a55f1fe6b4823","ref":"refs/heads/gh-readonly-queue/main/pr-3464-99658cc185dbad7b2d6c6bc7f8281a6ad3d7b136","pushedAt":"2024-05-24T20:36:26.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"github-merge-queue[bot]","name":null,"path":"/apps/github-merge-queue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9919?s=80&v=4"},"commit":{"message":"Bump the github-actions-deps group with 11 updates (#3464)","shortMessageHtmlLink":"Bump the github-actions-deps group with 11 updates (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2256586117\" data-permission-text=\"Title is private\" data-url=\"https://github.com/KeYProject/key/issues/3464\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/KeYProject/key/pull/3464/hovercard\" href=\"https://github.com/KeYProject/key/pull/3464\">#3464</a>)"}},{"before":"4f81cc5ca374785b5def19b413ed79e28cb6d6b3","after":"1fab92257910e165af508eee9c7b166a939c9c65","ref":"refs/heads/weigl/testgen","pushedAt":"2024-05-24T20:34:48.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"wadoon","name":"Alexander Weigl","path":"/wadoon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/104259?s=80&v=4"},"commit":{"message":"enabling multi-threading in TGMain","shortMessageHtmlLink":"enabling multi-threading in TGMain"}},{"before":"9be815dabfe0b8e4bed107d6a0f00a6e89529e3c","after":null,"ref":"refs/heads/weigl/junit4rm","pushedAt":"2024-05-24T13:24:53.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"wadoon","name":"Alexander Weigl","path":"/wadoon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/104259?s=80&v=4"}},{"before":"99658cc185dbad7b2d6c6bc7f8281a6ad3d7b136","after":null,"ref":"refs/heads/gh-readonly-queue/main/pr-3462-55ab0745b518ce269ec9e6270ba975a9a9d0636b","pushedAt":"2024-05-24T13:24:52.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"github-merge-queue[bot]","name":null,"path":"/apps/github-merge-queue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9919?s=80&v=4"}},{"before":"55ab0745b518ce269ec9e6270ba975a9a9d0636b","after":"99658cc185dbad7b2d6c6bc7f8281a6ad3d7b136","ref":"refs/heads/main","pushedAt":"2024-05-24T13:24:50.000Z","pushType":"merge_queue_merge","commitsCount":4,"pusher":{"login":"github-merge-queue[bot]","name":null,"path":"/apps/github-merge-queue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9919?s=80&v=4"},"commit":{"message":"Removal of JUnit4 (#3462)","shortMessageHtmlLink":"Removal of JUnit4 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2255058633\" data-permission-text=\"Title is private\" data-url=\"https://github.com/KeYProject/key/issues/3462\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/KeYProject/key/pull/3462/hovercard\" href=\"https://github.com/KeYProject/key/pull/3462\">#3462</a>)"}},{"before":"fc9e59fdf6d109ff235944f7b5b09e5602fb3d53","after":"e7ba654c6122ce683ad3f5b8e32d4c6e0986b3a9","ref":"refs/heads/dependabot/github_actions/github-actions-deps-9b4758b36a","pushedAt":"2024-05-24T12:45:12.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"wadoon","name":"Alexander Weigl","path":"/wadoon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/104259?s=80&v=4"},"commit":{"message":"fixing double artifact upload, forbidden in new version","shortMessageHtmlLink":"fixing double artifact upload, forbidden in new version"}},{"before":null,"after":"99658cc185dbad7b2d6c6bc7f8281a6ad3d7b136","ref":"refs/heads/gh-readonly-queue/main/pr-3462-55ab0745b518ce269ec9e6270ba975a9a9d0636b","pushedAt":"2024-05-24T12:19:13.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"github-merge-queue[bot]","name":null,"path":"/apps/github-merge-queue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9919?s=80&v=4"},"commit":{"message":"Removal of JUnit4 (#3462)","shortMessageHtmlLink":"Removal of JUnit4 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2255058633\" data-permission-text=\"Title is private\" data-url=\"https://github.com/KeYProject/key/issues/3462\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/KeYProject/key/pull/3462/hovercard\" href=\"https://github.com/KeYProject/key/pull/3462\">#3462</a>)"}},{"before":"6145fe759e7d65ae13337d9affd00732af2f212d","after":"9be815dabfe0b8e4bed107d6a0f00a6e89529e3c","ref":"refs/heads/weigl/junit4rm","pushedAt":"2024-05-23T16:44:53.000Z","pushType":"push","commitsCount":30,"pusher":{"login":"wadoon","name":"Alexander Weigl","path":"/wadoon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/104259?s=80&v=4"},"commit":{"message":"Merge branch 'main' into weigl/junit4rm\n\n* main: (25 commits)\n  Fix comment\n  Fix checkstyle workflow\n  Fix merge conflicts & spotless\n  Remove todo\n  Spotless\n  Fix? resolving error\n  Move ParsableVariable to ncore\n  Spotless\n  Spotless\n  Rename AbstractSV to OperatorSV\n  Beautified code\n  Fix settings test for SE\n  Spotless fixes\n  Fix taclet prefix check when parsing\n  Fix taclet equality test\n  Fix parsing of variable conditions\n  Fix errors resulting from changing ParseableVar\n  Delete Legacy Matcher and adapt VM matcher for new Modality operator\n  Fix errors after changing ParsableVars\n  Fix type error\n  ...","shortMessageHtmlLink":"Merge branch 'main' into weigl/junit4rm"}},{"before":"2ca3631b6bff190bc01f1ba61bdcbe377e2d1f25","after":"a21dded74a8ba0c75088e8cdb6478a43d18a3c38","ref":"refs/heads/mulbrichPolymorphic","pushedAt":"2024-05-23T16:41:48.000Z","pushType":"push","commitsCount":51,"pusher":{"login":"wadoon","name":"Alexander Weigl","path":"/wadoon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/104259?s=80&v=4"},"commit":{"message":"fix merge errors","shortMessageHtmlLink":"fix merge errors"}},{"before":"80636d5329700251b5cf58a97f65ccc1056ae9a2","after":"82360a2b3ee756acce5de8c02e2ffd183e758792","ref":"refs/heads/weigl/jsonrpc","pushedAt":"2024-05-23T16:38:49.000Z","pushType":"push","commitsCount":32,"pusher":{"login":"wadoon","name":"Alexander Weigl","path":"/wadoon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/104259?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'refs/remotes/origin/main' into weigl/jsonrpc\n\n* refs/remotes/origin/main: (26 commits)\n  Fix comment\n  Fix checkstyle workflow\n  Fix checkstyle workflow\n  Fix merge conflicts & spotless\n  Remove todo\n  Spotless\n  Fix? resolving error\n  Move ParsableVariable to ncore\n  Spotless\n  Spotless\n  Rename AbstractSV to OperatorSV\n  Beautified code\n  Fix settings test for SE\n  Spotless fixes\n  Fix taclet prefix check when parsing\n  Fix taclet equality test\n  Fix parsing of variable conditions\n  Fix errors resulting from changing ParseableVar\n  Delete Legacy Matcher and adapt VM matcher for new Modality operator\n  Fix errors after changing ParsableVars\n  ...","shortMessageHtmlLink":"Merge remote-tracking branch 'refs/remotes/origin/main' into weigl/js…"}},{"before":"1f858fdd9a1f63cb7e0a96d06bfdf1c30be51d81","after":"325d25bab1429df5ef3eb53d170cce53e28f4871","ref":"refs/heads/weigl/recordsftw","pushedAt":"2024-05-23T16:37:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"wadoon","name":"Alexander Weigl","path":"/wadoon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/104259?s=80&v=4"},"commit":{"message":"apply spotless","shortMessageHtmlLink":"apply spotless"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEWoxTWAA","startCursor":null,"endCursor":null}},"title":"Activity · KeYProject/key"}