{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":491653591,"defaultBranch":"main","name":"LSpec","ownerLogin":"lurk-lab","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-05-12T20:09:28.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/104174991?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1672668522.6119292","currentOid":""},"activityList":{"items":[{"before":"550123b4a9846acf5f402c696111453baafb44be","after":"3388be5a1d1390594a74ec469fd54a5d84ff6114","ref":"refs/heads/main","pushedAt":"2023-12-07T17:46:59.000Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"arthurpaulino","name":"Arthur Paulino","path":"/arthurpaulino","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1919110?s=80&v=4"},"commit":{"message":"Merge pull request #43 from gblike/toolchain_version_bump\n\nUpdate build directory path","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2031158385\" data-permission-text=\"Title is private\" data-url=\"https://github.com/lurk-lab/LSpec/issues/43\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/lurk-lab/LSpec/pull/43/hovercard\" href=\"https://github.com/lurk-lab/LSpec/pull/43\">#43</a> from gblike/toolchain_version_bump"}},{"before":"3b6023654b917c8641ec5e626724a43380cff8f0","after":"550123b4a9846acf5f402c696111453baafb44be","ref":"refs/heads/main","pushedAt":"2023-12-03T16:43:29.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"arthurpaulino","name":"Arthur Paulino","path":"/arthurpaulino","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1919110?s=80&v=4"},"commit":{"message":"Bump toolchain version (#42)","shortMessageHtmlLink":"Bump toolchain version (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2022339499\" data-permission-text=\"Title is private\" data-url=\"https://github.com/lurk-lab/LSpec/issues/42\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/lurk-lab/LSpec/pull/42/hovercard\" href=\"https://github.com/lurk-lab/LSpec/pull/42\">#42</a>)"}},{"before":"88f7d23e56a061d32c7173cea5befa4b2c248b41","after":"3b6023654b917c8641ec5e626724a43380cff8f0","ref":"refs/heads/main","pushedAt":"2023-09-11T11:24:48.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"arthurpaulino","name":"Arthur Paulino","path":"/arthurpaulino","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1919110?s=80&v=4"},"commit":{"message":"toolchain bump to leanprover/lean4:v4.0.0 (#40)\n\nSigned-off-by: Lîm Tsú-thuàn <dannypsnl@gmail.com>","shortMessageHtmlLink":"toolchain bump to leanprover/lean4:v4.0.0 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1890033605\" data-permission-text=\"Title is private\" data-url=\"https://github.com/lurk-lab/LSpec/issues/40\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/lurk-lab/LSpec/pull/40/hovercard\" href=\"https://github.com/lurk-lab/LSpec/pull/40\">#40</a>)"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADxE_3ZwA","startCursor":null,"endCursor":null}},"title":"Activity · lurk-lab/LSpec"}