{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":443040414,"defaultBranch":"main","name":"SDL.lean","ownerLogin":"Anderssorby","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-12-30T10:22:34.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/6331075?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1703537649.0","currentOid":""},"activityList":{"items":[{"before":"46739901cb966e1ec2258601d01b35f5c0b7cb26","after":null,"ref":"refs/heads/acs/lean-v4.4.0","pushedAt":"2023-12-25T20:48:08.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Anderssorby","name":"Anders Christiansen Sørby","path":"/Anderssorby","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6331075?s=80&v=4"}},{"before":"75aa0e33d2e25ebb69c2469e3e1538fd0aa08d5b","after":"df569777830f9754bd19a99e9871fcc813118a33","ref":"refs/heads/main","pushedAt":"2023-12-25T20:48:03.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"Anderssorby","name":"Anders Christiansen Sørby","path":"/Anderssorby","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6331075?s=80&v=4"},"commit":{"message":"Merge pull request #6 from Anderssorby/acs/lean-v4.4.0\n\nUse Lean v4.4.0","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2055751551\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Anderssorby/SDL.lean/issues/6\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Anderssorby/SDL.lean/pull/6/hovercard\" href=\"https://github.com/Anderssorby/SDL.lean/pull/6\">#6</a> from Anderssorby/acs/lean-v4.4.0"}},{"before":"e943ef5981abbb701bca31f2c484d92bd812769b","after":"46739901cb966e1ec2258601d01b35f5c0b7cb26","ref":"refs/heads/acs/lean-v4.4.0","pushedAt":"2023-12-25T20:23:23.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Anderssorby","name":"Anders Christiansen Sørby","path":"/Anderssorby","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6331075?s=80&v=4"},"commit":{"message":"feat: Add lake CI","shortMessageHtmlLink":"feat: Add lake CI"}},{"before":"8bff51107b4acd1ab8f2fba58b9608fc9d0cbf59","after":"e943ef5981abbb701bca31f2c484d92bd812769b","ref":"refs/heads/acs/lean-v4.4.0","pushedAt":"2023-12-25T20:14:43.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Anderssorby","name":"Anders Christiansen Sørby","path":"/Anderssorby","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6331075?s=80&v=4"},"commit":{"message":"feat: Add lake CI","shortMessageHtmlLink":"feat: Add lake CI"}},{"before":"ad940d3aaffbfcbef37e8d2ccdf664ca308b1d1e","after":"8bff51107b4acd1ab8f2fba58b9608fc9d0cbf59","ref":"refs/heads/acs/lean-v4.4.0","pushedAt":"2023-12-25T19:52:17.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Anderssorby","name":"Anders Christiansen Sørby","path":"/Anderssorby","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6331075?s=80&v=4"},"commit":{"message":"feat: Add lake CI","shortMessageHtmlLink":"feat: Add lake CI"}},{"before":"75552c44a969d5adf6250b8ed89a99dfd234e08a","after":"ad940d3aaffbfcbef37e8d2ccdf664ca308b1d1e","ref":"refs/heads/acs/lean-v4.4.0","pushedAt":"2023-12-25T19:20:57.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Anderssorby","name":"Anders Christiansen Sørby","path":"/Anderssorby","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6331075?s=80&v=4"},"commit":{"message":"feat: Add lake CI","shortMessageHtmlLink":"feat: Add lake CI"}},{"before":"9611e255f53de7338aeec5b58d19c00b899aa033","after":"75552c44a969d5adf6250b8ed89a99dfd234e08a","ref":"refs/heads/acs/lean-v4.4.0","pushedAt":"2023-12-25T16:25:09.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Anderssorby","name":"Anders Christiansen Sørby","path":"/Anderssorby","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6331075?s=80&v=4"},"commit":{"message":"feat: Add lake CI","shortMessageHtmlLink":"feat: Add lake CI"}},{"before":null,"after":"9611e255f53de7338aeec5b58d19c00b899aa033","ref":"refs/heads/acs/lean-v4.4.0","pushedAt":"2023-12-25T15:38:21.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Anderssorby","name":"Anders Christiansen Sørby","path":"/Anderssorby","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6331075?s=80&v=4"},"commit":{"message":"feat: Add lake CI","shortMessageHtmlLink":"feat: Add lake CI"}},{"before":"818b8626bf8726138cf7ccc19a457ae50a36da6c","after":"75aa0e33d2e25ebb69c2469e3e1538fd0aa08d5b","ref":"refs/heads/main","pushedAt":"2023-12-25T15:20:31.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"Anderssorby","name":"Anders Christiansen Sørby","path":"/Anderssorby","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6331075?s=80&v=4"},"commit":{"message":"Merge pull request #3 from AntanasKal/fix-example-crash\n\nfixing the crash when running examples","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1620484825\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Anderssorby/SDL.lean/issues/3\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Anderssorby/SDL.lean/pull/3/hovercard\" href=\"https://github.com/Anderssorby/SDL.lean/pull/3\">#3</a> from AntanasKal/fix-example-crash"}},{"before":"636d7a062f86a0e9c6539752482dfd24153edab3","after":"818b8626bf8726138cf7ccc19a457ae50a36da6c","ref":"refs/heads/main","pushedAt":"2023-12-09T18:31:16.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"Anderssorby","name":"Anders Christiansen Sørby","path":"/Anderssorby","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6331075?s=80&v=4"},"commit":{"message":"Merge pull request #5 from chabulhwi:update-readme\n\nUpdate README with an instruction","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1810141548\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Anderssorby/SDL.lean/issues/5\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Anderssorby/SDL.lean/pull/5/hovercard\" href=\"https://github.com/Anderssorby/SDL.lean/pull/5\">#5</a> from chabulhwi:update-readme"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAD0czH2wA","startCursor":null,"endCursor":null}},"title":"Activity · Anderssorby/SDL.lean"}