{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":78367168,"defaultBranch":"main","name":"atrium","ownerLogin":"robstoll","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2017-01-08T19:59:59.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/5557885?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1716725762.0","currentOid":""},"activityList":{"items":[{"before":null,"after":"81a9d7e55dbb244dddd2669b2bca2bb59af5bdab","ref":"refs/heads/renovate/assertj","pushedAt":"2024-05-26T12:15:59.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"renovate[bot]","name":null,"path":"/apps/renovate","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/2740?s=80&v=4"},"commit":{"message":"fix(deps): update dependency org.assertj:assertj-core to v3.26.0","shortMessageHtmlLink":"fix(deps): update dependency org.assertj:assertj-core to v3.26.0"}},{"before":"f5e529e04acd1f153c6694edd4177c6226710a0e","after":"3c04c43cb74e977a2e1f0e6b7c336346f0169d3d","ref":"refs/heads/main","pushedAt":"2024-05-23T20:37:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"robstoll","name":"Robert Stoll","path":"/robstoll","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5557885?s=80&v=4"},"commit":{"message":"remove third-party extensions\n\nthey are outdated","shortMessageHtmlLink":"remove third-party extensions"}},{"before":"c494fa29b2326cd27c73cca1066fc2aea7b3861f","after":"f5e529e04acd1f153c6694edd4177c6226710a0e","ref":"refs/heads/main","pushedAt":"2024-05-23T20:33:59.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"robstoll","name":"Robert Stoll","path":"/robstoll","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5557885?s=80&v=4"},"commit":{"message":"Merge pull request #1764 from robstoll/chore/gradle-deprecations\n\nswitch to compilerOptions as kotlinOptions was deprecated in kotlin 2.0","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2313755186\" data-permission-text=\"Title is private\" data-url=\"https://github.com/robstoll/atrium/issues/1764\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/robstoll/atrium/pull/1764/hovercard\" href=\"https://github.com/robstoll/atrium/pull/1764\">#1764</a> from robstoll/chore/gradle-deprecations"}},{"before":"0757db780edb80e7d3c02e3f7fd7238b89cd0d66","after":null,"ref":"refs/heads/chore/gradle-deprecations","pushedAt":"2024-05-23T20:33:59.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"robstoll","name":"Robert Stoll","path":"/robstoll","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5557885?s=80&v=4"}},{"before":"e2ebf8e1d44ab0388be25a26c758fff1f199b4f8","after":null,"ref":"refs/heads/renovate/major-kotlin","pushedAt":"2024-05-23T20:16:22.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"renovate[bot]","name":null,"path":"/apps/renovate","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/2740?s=80&v=4"}},{"before":null,"after":"0757db780edb80e7d3c02e3f7fd7238b89cd0d66","ref":"refs/heads/chore/gradle-deprecations","pushedAt":"2024-05-23T20:15:48.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"robstoll","name":"Robert Stoll","path":"/robstoll","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5557885?s=80&v=4"},"commit":{"message":"switch to compilerOptions as kotlinOptions was deprecated in kotlin 2.0","shortMessageHtmlLink":"switch to compilerOptions as kotlinOptions was deprecated in kotlin 2.0"}},{"before":"e223c4659707967c23e6262f407b2ad94f412cef","after":null,"ref":"refs/heads/update/kotlin","pushedAt":"2024-05-23T20:15:10.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"robstoll","name":"Robert Stoll","path":"/robstoll","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5557885?s=80&v=4"}},{"before":"eea44b30337e7088de31222b6ff63f03ad075ae6","after":"c494fa29b2326cd27c73cca1066fc2aea7b3861f","ref":"refs/heads/main","pushedAt":"2024-05-23T20:15:09.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"robstoll","name":"Robert Stoll","path":"/robstoll","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5557885?s=80&v=4"},"commit":{"message":"Merge pull request #1762 from robstoll/update/kotlin\n\nupdate to Kotlin 2.0","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2309086040\" data-permission-text=\"Title is private\" data-url=\"https://github.com/robstoll/atrium/issues/1762\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/robstoll/atrium/pull/1762/hovercard\" href=\"https://github.com/robstoll/atrium/pull/1762\">#1762</a> from robstoll/update/kotlin"}},{"before":"ce8de41bc79e127ca1e8cf551e1a01ac9ef342ab","after":"e223c4659707967c23e6262f407b2ad94f412cef","ref":"refs/heads/update/kotlin","pushedAt":"2024-05-23T20:03:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"robstoll","name":"Robert Stoll","path":"/robstoll","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5557885?s=80&v=4"},"commit":{"message":"add js-stubs sub-project to workaround kotlin 2.0 regression","shortMessageHtmlLink":"add js-stubs sub-project to workaround kotlin 2.0 regression"}},{"before":"ae0c5416ee86c83e5d5b73d85455645bcd6ca1ff","after":"848283a2707178513f0e6ec8f345efc1af2e3e02","ref":"refs/heads/KT-68052","pushedAt":"2024-05-22T20:03:55.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"robstoll","name":"Robert Stoll","path":"/robstoll","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5557885?s=80&v=4"},"commit":{"message":"KT-68052 for JetBrains with ❤️\n\nplease ⭐ Atrium if you like the bug report\nhttps://github.com/robstoll/atrium","shortMessageHtmlLink":"KT-68052 for JetBrains with ❤️"}},{"before":"e30a11cab0ab52957c8faa2852eb7c5ae77df145","after":"ce8de41bc79e127ca1e8cf551e1a01ac9ef342ab","ref":"refs/heads/update/kotlin","pushedAt":"2024-05-21T21:33:30.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"robstoll","name":"Robert Stoll","path":"/robstoll","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5557885?s=80&v=4"},"commit":{"message":"update to Kotlin 2.0\n\nand re-state the methods in `expect classes` (see\nhttps://youtrack.jetbrains.com/issue/KT-65597)","shortMessageHtmlLink":"update to Kotlin 2.0"}},{"before":"811426408f70da4dea7328f822f9c08bea74f636","after":"e30a11cab0ab52957c8faa2852eb7c5ae77df145","ref":"refs/heads/update/kotlin","pushedAt":"2024-05-21T21:06:23.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"robstoll","name":"Robert Stoll","path":"/robstoll","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5557885?s=80&v=4"},"commit":{"message":"update to Kotlin 2.0","shortMessageHtmlLink":"update to Kotlin 2.0"}},{"before":"dde5e32b1664e6c1b578b20478471fab319adb61","after":null,"ref":"refs/heads/chore/suppress-expect-actual-experimental-feature-warning","pushedAt":"2024-05-21T21:04:43.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"robstoll","name":"Robert Stoll","path":"/robstoll","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5557885?s=80&v=4"}},{"before":"d20a9e68158350974d3aa4d40a79531505a2ce20","after":"eea44b30337e7088de31222b6ff63f03ad075ae6","ref":"refs/heads/main","pushedAt":"2024-05-21T21:04:42.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"robstoll","name":"Robert Stoll","path":"/robstoll","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5557885?s=80&v=4"},"commit":{"message":"suppress experimental feature warning about expect/actual","shortMessageHtmlLink":"suppress experimental feature warning about expect/actual"}},{"before":null,"after":"dde5e32b1664e6c1b578b20478471fab319adb61","ref":"refs/heads/chore/suppress-expect-actual-experimental-feature-warning","pushedAt":"2024-05-21T20:45:54.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"robstoll","name":"Robert Stoll","path":"/robstoll","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5557885?s=80&v=4"},"commit":{"message":"suppress experimental feature warning about expect/actual","shortMessageHtmlLink":"suppress experimental feature warning about expect/actual"}},{"before":"336a944cc055536d6d1816b6275f5ac3a1f96fd6","after":"811426408f70da4dea7328f822f9c08bea74f636","ref":"refs/heads/update/kotlin","pushedAt":"2024-05-21T20:44:59.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"robstoll","name":"Robert Stoll","path":"/robstoll","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5557885?s=80&v=4"},"commit":{"message":"update to Kotlin 2.0","shortMessageHtmlLink":"update to Kotlin 2.0"}},{"before":null,"after":"336a944cc055536d6d1816b6275f5ac3a1f96fd6","ref":"refs/heads/update/kotlin","pushedAt":"2024-05-21T20:41:31.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"robstoll","name":"Robert Stoll","path":"/robstoll","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5557885?s=80&v=4"},"commit":{"message":"update to Kotlin 2.0","shortMessageHtmlLink":"update to Kotlin 2.0"}},{"before":null,"after":"e2ebf8e1d44ab0388be25a26c758fff1f199b4f8","ref":"refs/heads/renovate/major-kotlin","pushedAt":"2024-05-21T20:39:38.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"renovate[bot]","name":null,"path":"/apps/renovate","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/2740?s=80&v=4"},"commit":{"message":"fix(deps): update dependency org.jetbrains.kotlin:kotlin-gradle-plugin to v2","shortMessageHtmlLink":"fix(deps): update dependency org.jetbrains.kotlin:kotlin-gradle-plugi…"}},{"before":null,"after":"838b1567807d994e4cd83923fbfadb6e222054af","ref":"refs/heads/feature/Proof-and-container","pushedAt":"2024-05-21T20:39:18.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"robstoll","name":"Robert Stoll","path":"/robstoll","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5557885?s=80&v=4"},"commit":{"message":"draft: introduce ProofContainer and Proof","shortMessageHtmlLink":"draft: introduce ProofContainer and Proof"}},{"before":"0e6165f935dd63a5d497b66cfa84f6f5eb69ad69","after":"d20a9e68158350974d3aa4d40a79531505a2ce20","ref":"refs/heads/main","pushedAt":"2024-05-20T20:10:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"robstoll","name":"Robert Stoll","path":"/robstoll","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5557885?s=80&v=4"},"commit":{"message":"mention JS IR requirement\n\nand drop section about Atrium not supporting IR-backend","shortMessageHtmlLink":"mention JS IR requirement"}},{"before":"ee449e5362f03e4ad943f7286c0ac7e2783ebb3e","after":"0e6165f935dd63a5d497b66cfa84f6f5eb69ad69","ref":"refs/heads/main","pushedAt":"2024-05-20T20:08:15.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"robstoll","name":"Robert Stoll","path":"/robstoll","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5557885?s=80&v=4"},"commit":{"message":"chore(deps): update codecov/codecov-action action to v4.4.1","shortMessageHtmlLink":"chore(deps): update codecov/codecov-action action to v4.4.1"}},{"before":"45fd5adc82d7f39571d6d219414289f9d35a270e","after":null,"ref":"refs/heads/renovate/codecov-codecov-action-4.x","pushedAt":"2024-05-20T20:08:15.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"robstoll","name":"Robert Stoll","path":"/robstoll","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5557885?s=80&v=4"}},{"before":null,"after":"45fd5adc82d7f39571d6d219414289f9d35a270e","ref":"refs/heads/renovate/codecov-codecov-action-4.x","pushedAt":"2024-05-20T19:51:51.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"renovate[bot]","name":null,"path":"/apps/renovate","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/2740?s=80&v=4"},"commit":{"message":"chore(deps): update codecov/codecov-action action to v4.4.1","shortMessageHtmlLink":"chore(deps): update codecov/codecov-action action to v4.4.1"}},{"before":"4a1ebbd1347fd678ffcb09002c1eb7be932d259f","after":null,"ref":"refs/heads/renovate/codecov-codecov-action-4.x","pushedAt":"2024-05-14T19:18:01.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"robstoll","name":"Robert Stoll","path":"/robstoll","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5557885?s=80&v=4"}},{"before":"119a40c54b786a089ad5b576d4000a2bf0f6f43e","after":"ee449e5362f03e4ad943f7286c0ac7e2783ebb3e","ref":"refs/heads/main","pushedAt":"2024-05-14T19:18:00.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"robstoll","name":"Robert Stoll","path":"/robstoll","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5557885?s=80&v=4"},"commit":{"message":"chore(deps): update codecov/codecov-action action to v4.4.0","shortMessageHtmlLink":"chore(deps): update codecov/codecov-action action to v4.4.0"}},{"before":null,"after":"4a1ebbd1347fd678ffcb09002c1eb7be932d259f","ref":"refs/heads/renovate/codecov-codecov-action-4.x","pushedAt":"2024-05-14T18:02:39.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"renovate[bot]","name":null,"path":"/apps/renovate","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/2740?s=80&v=4"},"commit":{"message":"chore(deps): update codecov/codecov-action action to v4.4.0","shortMessageHtmlLink":"chore(deps): update codecov/codecov-action action to v4.4.0"}},{"before":null,"after":"2e7a7051dcb9ce2a3ff8119c13ae1f69f4bb488b","ref":"refs/heads/deprecate/translating","pushedAt":"2024-05-10T20:49:54.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"robstoll","name":"Robert Stoll","path":"/robstoll","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5557885?s=80&v=4"},"commit":{"message":"deprecate Translatable, Translator and co.\n\nmoreover:\n- rewrite TranslatableWithArgs.getDefault so that it expands\n  Translatable as well\n- remove TranslatorIntSpec and other translator related classes\n  we intend to drop and no longer want to maintain","shortMessageHtmlLink":"deprecate Translatable, Translator and co."}},{"before":"e2f660c6e1b4a1369f05cafe58db3d80f947c746","after":"119a40c54b786a089ad5b576d4000a2bf0f6f43e","ref":"refs/heads/main","pushedAt":"2024-05-10T20:41:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"robstoll","name":"Robert Stoll","path":"/robstoll","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5557885?s=80&v=4"},"commit":{"message":"remove copyright notice in LICENSE.txt\n\notherwise github does not detect it as EUPL","shortMessageHtmlLink":"remove copyright notice in LICENSE.txt"}},{"before":"3de8b451574dc8e13da4592b7fd763c5dfc2844a","after":"e2f660c6e1b4a1369f05cafe58db3d80f947c746","ref":"refs/heads/main","pushedAt":"2024-05-10T20:15:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"robstoll","name":"Robert Stoll","path":"/robstoll","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5557885?s=80&v=4"},"commit":{"message":"we dropped the translations-de_CH projects with 4440f6a0","shortMessageHtmlLink":"we dropped the translations-de_CH projects with <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/robstoll/atrium/commit/4440f6a0a4abfc226944ab8bb6c61c453f47ac23/hovercard\" href=\"https://github.com/robstoll/atrium/commit/4440f6a0a4abfc226944ab8bb6c61c453f47ac23\"><tt>4440f6a</tt></a>"}},{"before":"0ce93941f30761aa8dbda2e8e1b373e22ec8b17f","after":null,"ref":"refs/heads/chore/bc-api","pushedAt":"2024-05-10T19:55:17.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"robstoll","name":"Robert Stoll","path":"/robstoll","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5557885?s=80&v=4"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEVCF57QA","startCursor":null,"endCursor":null}},"title":"Activity · robstoll/atrium"}