{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":417511739,"defaultBranch":"main","name":"LeanInk","ownerLogin":"leanprover","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-10-15T13:35:30.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/7233018?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1704967742.0","currentOid":""},"activityList":{"items":[{"before":"58755bfa02433a7fa5e51110b41272a7397148a1","after":"c54475dffc030aa67113eff600105b62eca646db","ref":"refs/heads/main","pushedAt":"2024-02-02T10:38:29.000Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"mhuisi","name":"Marc Huisinga","path":"/mhuisi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852073?s=80&v=4"},"commit":{"message":"test: update tests","shortMessageHtmlLink":"test: update tests"}},{"before":"7cd7bfd03410e96ec270878292caceeaa49f4ae6","after":"a245a7c70e1476b98f341c5b4bf1d65806f337f4","ref":"refs/heads/bump-3159","pushedAt":"2024-02-02T10:36:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mhuisi","name":"Marc Huisinga","path":"/mhuisi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852073?s=80&v=4"},"commit":{"message":"test: update tests","shortMessageHtmlLink":"test: update tests"}},{"before":"ba5c583495f238193504db1ef71980c4dedb7ebe","after":"7cd7bfd03410e96ec270878292caceeaa49f4ae6","ref":"refs/heads/bump-3159","pushedAt":"2024-02-02T10:28:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mhuisi","name":"Marc Huisinga","path":"/mhuisi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852073?s=80&v=4"},"commit":{"message":"chore: adjust toolchain to release candidate","shortMessageHtmlLink":"chore: adjust toolchain to release candidate"}},{"before":"137152e14f92ac9c7da316fd42c0920f41c53cc3","after":"ba5c583495f238193504db1ef71980c4dedb7ebe","ref":"refs/heads/bump-3159","pushedAt":"2024-01-11T12:34:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mhuisi","name":"Marc Huisinga","path":"/mhuisi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852073?s=80&v=4"},"commit":{"message":"test: update tests","shortMessageHtmlLink":"test: update tests"}},{"before":"510fba1912eb3216d5258be180cf4f5f62d43490","after":"137152e14f92ac9c7da316fd42c0920f41c53cc3","ref":"refs/heads/bump-3159","pushedAt":"2024-01-11T12:27:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mhuisi","name":"Marc Huisinga","path":"/mhuisi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852073?s=80&v=4"},"commit":{"message":"test: remove brittle dep test","shortMessageHtmlLink":"test: remove brittle dep test"}},{"before":null,"after":"510fba1912eb3216d5258be180cf4f5f62d43490","ref":"refs/heads/bump-3159","pushedAt":"2024-01-11T10:09:02.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"mhuisi","name":"Marc Huisinga","path":"/mhuisi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852073?s=80&v=4"},"commit":{"message":"chore: bump for lean4#3159","shortMessageHtmlLink":"chore: bump for lean4#3159"}},{"before":"28ff6cef4fb476886eeb96edc4ef518f98f027b7","after":"58755bfa02433a7fa5e51110b41272a7397148a1","ref":"refs/heads/main","pushedAt":"2024-01-10T08:04:43.000Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"mhuisi","name":"Marc Huisinga","path":"/mhuisi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852073?s=80&v=4"},"commit":{"message":"chore: update tests by `lake script run capture`","shortMessageHtmlLink":"chore: update tests by <code>lake script run capture</code>"}},{"before":"b09963dcc0c1c3aecd7eb7749f23b67510dfdeb7","after":"28ff6cef4fb476886eeb96edc4ef518f98f027b7","ref":"refs/heads/main","pushedAt":"2023-08-23T05:36:37.000Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"semorrison","name":"Kim Morrison","path":"/semorrison","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/477956?s=80&v=4"},"commit":{"message":"chore: bump to nightly-2023-08-19","shortMessageHtmlLink":"chore: bump to nightly-2023-08-19"}},{"before":"b61950ef0fe602b4a4870fe259c1de1f67697d54","after":"b09963dcc0c1c3aecd7eb7749f23b67510dfdeb7","ref":"refs/heads/main","pushedAt":"2023-08-23T04:47:12.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"semorrison","name":"Kim Morrison","path":"/semorrison","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/477956?s=80&v=4"},"commit":{"message":"chore: clean up unused arguments (#53)","shortMessageHtmlLink":"chore: clean up unused arguments (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1862546180\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover/LeanInk/issues/53\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/leanprover/LeanInk/pull/53/hovercard\" href=\"https://github.com/leanprover/LeanInk/pull/53\">#53</a>)"}},{"before":"991d129b7a0b74780d7757cb02e00e2d4e8a071d","after":"b61950ef0fe602b4a4870fe259c1de1f67697d54","ref":"refs/heads/main","pushedAt":"2023-08-23T04:18:05.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"semorrison","name":"Kim Morrison","path":"/semorrison","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/477956?s=80&v=4"},"commit":{"message":"chore: bump to nightly-2023-04-11 (#52)","shortMessageHtmlLink":"chore: bump to nightly-2023-04-11 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1862532916\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover/LeanInk/issues/52\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/leanprover/LeanInk/pull/52/hovercard\" href=\"https://github.com/leanprover/LeanInk/pull/52\">#52</a>)"}},{"before":"685a4f14698a919256444b4804a5bb89d858a5b3","after":"991d129b7a0b74780d7757cb02e00e2d4e8a071d","ref":"refs/heads/main","pushedAt":"2023-08-23T04:13:45.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"semorrison","name":"Kim Morrison","path":"/semorrison","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/477956?s=80&v=4"},"commit":{"message":"Merge pull request #51 from semorrison/pin_mathlib\n\nchore: pin a Mathlib commit for tests","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1862525745\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover/LeanInk/issues/51\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/leanprover/LeanInk/pull/51/hovercard\" href=\"https://github.com/leanprover/LeanInk/pull/51\">#51</a> from semorrison/pin_mathlib"}},{"before":"7ba1dc3f3d4c9947bc8207a90fb20c95311d1753","after":"685a4f14698a919256444b4804a5bb89d858a5b3","ref":"refs/heads/main","pushedAt":"2023-08-23T03:54:35.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"semorrison","name":"Kim Morrison","path":"/semorrison","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/477956?s=80&v=4"},"commit":{"message":"Merge pull request #50 from semorrison/paths\n\nchore: correct some paths","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1862520894\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover/LeanInk/issues/50\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/leanprover/LeanInk/pull/50/hovercard\" href=\"https://github.com/leanprover/LeanInk/pull/50\">#50</a> from semorrison/paths"}},{"before":"9efd7db62dcc6cf312fd4f82df0c556acfb30002","after":"7ba1dc3f3d4c9947bc8207a90fb20c95311d1753","ref":"refs/heads/main","pushedAt":"2023-08-23T00:34:29.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"semorrison","name":"Kim Morrison","path":"/semorrison","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/477956?s=80&v=4"},"commit":{"message":"Merge pull request #49 from semorrison/whitespace\n\nchore: normalize whitespace","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1862362531\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover/LeanInk/issues/49\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/leanprover/LeanInk/pull/49/hovercard\" href=\"https://github.com/leanprover/LeanInk/pull/49\">#49</a> from semorrison/whitespace"}},{"before":"c6f0b70fee0508078b484ce40554d9ac50d2d1db","after":"9efd7db62dcc6cf312fd4f82df0c556acfb30002","ref":"refs/heads/main","pushedAt":"2023-04-28T04:21:10.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"gebner","name":"Gabriel Ebner","path":"/gebner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/313929?s=80&v=4"},"commit":{"message":"Removes duplicate bubbles after comment (#45)\n\n* bug fix - duplicate bubble after comment\r\n\r\n* fix tests\r\n\r\n* fix test playground_1","shortMessageHtmlLink":"Removes duplicate bubbles after comment (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1681709232\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover/LeanInk/issues/45\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/leanprover/LeanInk/pull/45/hovercard\" href=\"https://github.com/leanprover/LeanInk/pull/45\">#45</a>)"}},{"before":"6d5c93a10bd0340e84e2a3e18f08b96bcc814877","after":"e374830545917c9c49ccafe0b79db01474ea4cbc","ref":"refs/heads/alectryon_comment_bug","pushedAt":"2023-04-24T18:29:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vanessa-rodrigues","name":"Vanessa","path":"/vanessa-rodrigues","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88671600?s=80&v=4"},"commit":{"message":"fix test playground_1","shortMessageHtmlLink":"fix test playground_1"}},{"before":"9792b8df97a43da9fb0830eee744e244e8ad601d","after":"6d5c93a10bd0340e84e2a3e18f08b96bcc814877","ref":"refs/heads/alectryon_comment_bug","pushedAt":"2023-04-24T18:22:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vanessa-rodrigues","name":"Vanessa","path":"/vanessa-rodrigues","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88671600?s=80&v=4"},"commit":{"message":"fix tests","shortMessageHtmlLink":"fix tests"}},{"before":null,"after":"9792b8df97a43da9fb0830eee744e244e8ad601d","ref":"refs/heads/alectryon_comment_bug","pushedAt":"2023-04-24T17:11:27.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"vanessa-rodrigues","name":"Vanessa","path":"/vanessa-rodrigues","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88671600?s=80&v=4"},"commit":{"message":"bug fix - duplicate bubble after comment","shortMessageHtmlLink":"bug fix - duplicate bubble after comment"}},{"before":"d6780c91d80d01094a297274414fc567f9020815","after":"8df080dec677bde52cd17bf302b911d933f2d068","ref":"refs/heads/comment_bubbles","pushedAt":"2023-04-19T14:04:25.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"vanessa-rodrigues","name":"Vanessa","path":"/vanessa-rodrigues","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88671600?s=80&v=4"},"commit":{"message":"Adds comment explaining the isComment validation","shortMessageHtmlLink":"Adds comment explaining the isComment validation"}},{"before":"bb5029a5226461a741c68aeb7e893924a85c2c70","after":"c6f0b70fee0508078b484ce40554d9ac50d2d1db","ref":"refs/heads/main","pushedAt":"2023-04-18T20:52:11.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"gebner","name":"Gabriel Ebner","path":"/gebner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/313929?s=80&v=4"},"commit":{"message":"fix: remove obsolete `lake configure` command","shortMessageHtmlLink":"fix: remove obsolete <code>lake configure</code> command"}},{"before":"165009f90c4e7f94aedd24f8eaab250c76f9c9ab","after":"9302d32c607a2905a7f685686dc274e0f87fa331","ref":"refs/heads/bump230411","pushedAt":"2023-04-18T19:03:19.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"gebner","name":"Gabriel Ebner","path":"/gebner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/313929?s=80&v=4"},"commit":{"message":"fix: remove obsolete `lake configure` command","shortMessageHtmlLink":"fix: remove obsolete <code>lake configure</code> command"}},{"before":"5808300248287cddad384e77c1eb91d4bbfc6de3","after":"165009f90c4e7f94aedd24f8eaab250c76f9c9ab","ref":"refs/heads/bump230411","pushedAt":"2023-04-18T18:45:30.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"gebner","name":"Gabriel Ebner","path":"/gebner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/313929?s=80&v=4"},"commit":{"message":"hmmm","shortMessageHtmlLink":"hmmm"}},{"before":"726ef30b0cce0a7e447b6b950e90f77aab6ec0b8","after":"5808300248287cddad384e77c1eb91d4bbfc6de3","ref":"refs/heads/bump230411","pushedAt":"2023-04-18T18:24:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"gebner","name":"Gabriel Ebner","path":"/gebner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/313929?s=80&v=4"},"commit":{"message":"chore: filter out lake-packages a second time","shortMessageHtmlLink":"chore: filter out lake-packages a second time"}},{"before":null,"after":"d6780c91d80d01094a297274414fc567f9020815","ref":"refs/heads/comment_bubbles","pushedAt":"2023-04-17T19:08:49.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"vanessa-rodrigues","name":"Vanessa","path":"/vanessa-rodrigues","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88671600?s=80&v=4"},"commit":{"message":"bug fix - duplicate bubble after comment","shortMessageHtmlLink":"bug fix - duplicate bubble after comment"}},{"before":"e828ff437a701aaa18abaa6d5a83c7c9298a7c4b","after":"726ef30b0cce0a7e447b6b950e90f77aab6ec0b8","ref":"refs/heads/bump230411","pushedAt":"2023-04-13T21:05:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"gebner","name":"Gabriel Ebner","path":"/gebner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/313929?s=80&v=4"},"commit":{"message":"fix: disable autocrlf on windows","shortMessageHtmlLink":"fix: disable autocrlf on windows"}},{"before":null,"after":"e828ff437a701aaa18abaa6d5a83c7c9298a7c4b","ref":"refs/heads/bump230411","pushedAt":"2023-04-13T21:00:15.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"gebner","name":"Gabriel Ebner","path":"/gebner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/313929?s=80&v=4"},"commit":{"message":"chore: bump lean","shortMessageHtmlLink":"chore: bump lean"}},{"before":"499cf46f571562bebee0c8c193a7f9dcf5a30187","after":"bb5029a5226461a741c68aeb7e893924a85c2c70","ref":"refs/heads/main","pushedAt":"2023-04-13T20:40:14.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"gebner","name":"Gabriel Ebner","path":"/gebner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/313929?s=80&v=4"},"commit":{"message":"Adds flags to control Alectryon output (#42)\n\n* creates flags to disable information on blocks containing sorrys\r\n\r\n* creates flag to disable information on calc blocks\r\n\r\n* creates flag to disable information on calc blocks\r\n\r\n* removes unnecessary config parameter","shortMessageHtmlLink":"Adds flags to control Alectryon output (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1639442051\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover/LeanInk/issues/42\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/leanprover/LeanInk/pull/42/hovercard\" href=\"https://github.com/leanprover/LeanInk/pull/42\">#42</a>)"}},{"before":"f851e324b2634901e5d0c0f8b751261f17ac3b48","after":"1f17157d04d0a9e6f530b643c4daf51df7982dd7","ref":"refs/heads/sorry_alectryon","pushedAt":"2023-04-13T19:35:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vanessa-rodrigues","name":"Vanessa","path":"/vanessa-rodrigues","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88671600?s=80&v=4"},"commit":{"message":"removes unnecessary config parameter","shortMessageHtmlLink":"removes unnecessary config parameter"}},{"before":"7c87a299ffbda31646e45a782acfd189e6fc1f6c","after":"f851e324b2634901e5d0c0f8b751261f17ac3b48","ref":"refs/heads/sorry_alectryon","pushedAt":"2023-03-24T13:43:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vanessa-rodrigues","name":"Vanessa","path":"/vanessa-rodrigues","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88671600?s=80&v=4"},"commit":{"message":"creates flag to disable information on calc blocks","shortMessageHtmlLink":"creates flag to disable information on calc blocks"}},{"before":"39e39fd390e2ff93d7074440d99b15642177d8f7","after":"7c87a299ffbda31646e45a782acfd189e6fc1f6c","ref":"refs/heads/sorry_alectryon","pushedAt":"2023-03-24T12:56:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vanessa-rodrigues","name":"Vanessa","path":"/vanessa-rodrigues","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88671600?s=80&v=4"},"commit":{"message":"creates flag to disable information on calc blocks","shortMessageHtmlLink":"creates flag to disable information on calc blocks"}},{"before":null,"after":"39e39fd390e2ff93d7074440d99b15642177d8f7","ref":"refs/heads/sorry_alectryon","pushedAt":"2023-03-22T16:41:48.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"vanessa-rodrigues","name":"Vanessa","path":"/vanessa-rodrigues","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88671600?s=80&v=4"},"commit":{"message":"creates flags to disable information on blocks containing sorrys","shortMessageHtmlLink":"creates flags to disable information on blocks containing sorrys"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAD8BWPowA","startCursor":null,"endCursor":null}},"title":"Activity · leanprover/LeanInk"}