{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":566256168,"defaultBranch":"main","name":"ProofWidgets4","ownerLogin":"leanprover-community","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-11-15T09:42:25.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/41703605?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1715832174.0","currentOid":""},"activityList":{"items":[{"before":"fcdc866ddd8b670bba8d987a5c3bd6e23d4f36bc","after":"ca66ebb68ab091469770b0dc80a993932c915dbf","ref":"refs/heads/mathjax","pushedAt":"2024-05-16T05:26:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Vtec234","name":"Wojciech Nawrocki","path":"/Vtec234","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13901751?s=80&v=4"},"commit":{"message":"fix: position","shortMessageHtmlLink":"fix: position"}},{"before":"542b38c403b728680149f9d72e04647478488149","after":"fcdc866ddd8b670bba8d987a5c3bd6e23d4f36bc","ref":"refs/heads/mathjax","pushedAt":"2024-05-16T04:09:16.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Vtec234","name":"Wojciech Nawrocki","path":"/Vtec234","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13901751?s=80&v=4"},"commit":{"message":"chore: untrack log","shortMessageHtmlLink":"chore: untrack log"}},{"before":null,"after":"542b38c403b728680149f9d72e04647478488149","ref":"refs/heads/mathjax","pushedAt":"2024-05-16T04:02:54.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Vtec234","name":"Wojciech Nawrocki","path":"/Vtec234","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13901751?s=80&v=4"},"commit":{"message":"Add docstrings","shortMessageHtmlLink":"Add docstrings"}},{"before":"27b5e5cf1d09d4f7b0f3ecac7f9324e5e0cb7f5f","after":null,"ref":"refs/heads/linear-build","pushedAt":"2024-05-16T03:56:36.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Vtec234","name":"Wojciech Nawrocki","path":"/Vtec234","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13901751?s=80&v=4"}},{"before":"1b702d26841c0b194ab51829ed904d1dde51f31a","after":"bc346eab4c89f5cc9f7a0dcb371ebf44b74907dc","ref":"refs/heads/main","pushedAt":"2024-05-16T03:56:33.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"Vtec234","name":"Wojciech Nawrocki","path":"/Vtec234","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13901751?s=80&v=4"},"commit":{"message":"Merge pull request #59 from leanprover-community/linear-build\n\nLinear build","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2299194018\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover-community/ProofWidgets4/issues/59\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/leanprover-community/ProofWidgets4/pull/59/hovercard\" href=\"https://github.com/leanprover-community/ProofWidgets4/pull/59\">#59</a> from leanprover-community/linear-build"}},{"before":"2ab252c4b7f5dd86f0fba5ab27549b6e8997e73c","after":"27b5e5cf1d09d4f7b0f3ecac7f9324e5e0cb7f5f","ref":"refs/heads/linear-build","pushedAt":"2024-05-16T03:51:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Vtec234","name":"Wojciech Nawrocki","path":"/Vtec234","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13901751?s=80&v=4"},"commit":{"message":"feat: better build\n\nCo-authored-by: Mac Malone <tydeu@hatpress.net>","shortMessageHtmlLink":"feat: better build"}},{"before":null,"after":"2ab252c4b7f5dd86f0fba5ab27549b6e8997e73c","ref":"refs/heads/linear-build","pushedAt":"2024-05-16T02:19:40.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Vtec234","name":"Wojciech Nawrocki","path":"/Vtec234","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13901751?s=80&v=4"},"commit":{"message":"fix: SVG widget","shortMessageHtmlLink":"fix: SVG widget"}},{"before":"84c9889fba679cca649944d3cbd8747cf0eb9d1a","after":null,"ref":"refs/heads/work","pushedAt":"2024-05-15T05:04:43.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Vtec234","name":"Wojciech Nawrocki","path":"/Vtec234","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13901751?s=80&v=4"}},{"before":"e6b6247c61280c77ade6bbf0bc3c66a44fe2e0c5","after":"1b702d26841c0b194ab51829ed904d1dde51f31a","ref":"refs/heads/main","pushedAt":"2024-05-15T05:04:39.000Z","pushType":"pr_merge","commitsCount":7,"pusher":{"login":"Vtec234","name":"Wojciech Nawrocki","path":"/Vtec234","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13901751?s=80&v=4"},"commit":{"message":"Merge pull request #58 from leanprover-community/work\n\nMiscellaneous improvements 1","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2296868548\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover-community/ProofWidgets4/issues/58\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/leanprover-community/ProofWidgets4/pull/58/hovercard\" href=\"https://github.com/leanprover-community/ProofWidgets4/pull/58\">#58</a> from leanprover-community/work"}},{"before":null,"after":"84c9889fba679cca649944d3cbd8747cf0eb9d1a","ref":"refs/heads/work","pushedAt":"2024-05-15T04:57:55.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Vtec234","name":"Wojciech Nawrocki","path":"/Vtec234","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13901751?s=80&v=4"},"commit":{"message":"feat: generalize #html command","shortMessageHtmlLink":"feat: generalize #html command"}},{"before":"fe1eff53bd0838c657aa6126fe4dd75ad9939d9a","after":"e6b6247c61280c77ade6bbf0bc3c66a44fe2e0c5","ref":"refs/heads/main","pushedAt":"2024-05-07T04:37:16.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 #56 from leanprover-community/batteries\n\nchore: update Std->Batteries","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2282251612\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover-community/ProofWidgets4/issues/56\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/leanprover-community/ProofWidgets4/pull/56/hovercard\" href=\"https://github.com/leanprover-community/ProofWidgets4/pull/56\">#56</a> from leanprover-community/batteries"}},{"before":null,"after":"f10290964a52966002ebc0d216c26d7a24613d75","ref":"refs/heads/batteries","pushedAt":"2024-05-07T04:33:13.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"semorrison","name":"Kim Morrison","path":"/semorrison","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/477956?s=80&v=4"},"commit":{"message":"chore: update Std->Batteries","shortMessageHtmlLink":"chore: update Std-&gt;Batteries"}},{"before":null,"after":"0f02ef5ec532641064700a007b3e7286dd1f336f","ref":"refs/heads/nightly-testing","pushedAt":"2024-05-03T02:50:36.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"semorrison","name":"Kim Morrison","path":"/semorrison","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/477956?s=80&v=4"},"commit":{"message":"chore: recreate nightly-testing","shortMessageHtmlLink":"chore: recreate nightly-testing"}},{"before":null,"after":"12c74a155da7f7ea9994ebfc684518640456faff","ref":"refs/heads/old-nightly-testing-v4.8.0","pushedAt":"2024-05-03T02:50:27.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"semorrison","name":"Kim Morrison","path":"/semorrison","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/477956?s=80&v=4"},"commit":{"message":"fix","shortMessageHtmlLink":"fix"}},{"before":"12c74a155da7f7ea9994ebfc684518640456faff","after":null,"ref":"refs/heads/nightly-testing","pushedAt":"2024-05-03T02:50:24.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"semorrison","name":"Kim Morrison","path":"/semorrison","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/477956?s=80&v=4"}},{"before":"bed4e7987ed46e403e182beeec642bb519239080","after":"fe1eff53bd0838c657aa6126fe4dd75ad9939d9a","ref":"refs/heads/main","pushedAt":"2024-05-02T11:59:36.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"semorrison","name":"Kim Morrison","path":"/semorrison","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/477956?s=80&v=4"},"commit":{"message":"Merge pull request #55 from leanprover-community/bump/v4.8.0\n\nchore: move to v4.8.0-rc1","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2275356741\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover-community/ProofWidgets4/issues/55\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/leanprover-community/ProofWidgets4/pull/55/hovercard\" href=\"https://github.com/leanprover-community/ProofWidgets4/pull/55\">#55</a> from leanprover-community/bump/v4.8.0"}},{"before":"89bc5a144b94c4c3c80500041db39db8633c903f","after":"3947e7dd8fd5c25571bd5af245a1a8eac35366a7","ref":"refs/heads/bump/v4.8.0","pushedAt":"2024-05-02T11:56:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"semorrison","name":"Kim Morrison","path":"/semorrison","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/477956?s=80&v=4"},"commit":{"message":"bump std","shortMessageHtmlLink":"bump std"}},{"before":null,"after":"89bc5a144b94c4c3c80500041db39db8633c903f","ref":"refs/heads/bump/v4.8.0","pushedAt":"2024-05-02T11:55:30.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"semorrison","name":"Kim Morrison","path":"/semorrison","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/477956?s=80&v=4"},"commit":{"message":"chore: move to v4.8.0-rc1","shortMessageHtmlLink":"chore: move to v4.8.0-rc1"}},{"before":"3213dc850ebd641d4979d46c870844e9f8fd6f4f","after":"12c74a155da7f7ea9994ebfc684518640456faff","ref":"refs/heads/nightly-testing","pushedAt":"2024-04-30T08:14:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"semorrison","name":"Kim Morrison","path":"/semorrison","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/477956?s=80&v=4"},"commit":{"message":"fix","shortMessageHtmlLink":"fix"}},{"before":"ac2dbaa78ac1732a783d06e151aa5e36ed80e87e","after":"3213dc850ebd641d4979d46c870844e9f8fd6f4f","ref":"refs/heads/nightly-testing","pushedAt":"2024-04-30T08:12:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"semorrison","name":"Kim Morrison","path":"/semorrison","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/477956?s=80&v=4"},"commit":{"message":"update","shortMessageHtmlLink":"update"}},{"before":null,"after":"ac2dbaa78ac1732a783d06e151aa5e36ed80e87e","ref":"refs/heads/nightly-testing","pushedAt":"2024-04-30T08:08:13.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"semorrison","name":"Kim Morrison","path":"/semorrison","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/477956?s=80&v=4"},"commit":{"message":"update lakefile","shortMessageHtmlLink":"update lakefile"}},{"before":"ee5fa67060e73b532111c2f05bccd10f0e63b275","after":"bed4e7987ed46e403e182beeec642bb519239080","ref":"refs/heads/main","pushedAt":"2024-04-28T19:33:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Vtec234","name":"Wojciech Nawrocki","path":"/Vtec234","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13901751?s=80&v=4"},"commit":{"message":"chore: more specific open","shortMessageHtmlLink":"chore: more specific open"}},{"before":"292b33993fb8d158da081678b423c73e77f9c7ed","after":"ee5fa67060e73b532111c2f05bccd10f0e63b275","ref":"refs/heads/main","pushedAt":"2024-04-28T05:01:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Vtec234","name":"Wojciech Nawrocki","path":"/Vtec234","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13901751?s=80&v=4"},"commit":{"message":"chore: reorg","shortMessageHtmlLink":"chore: reorg"}},{"before":"ca93804f03e3abc9d48a5f5966aaf98ca2c16532","after":"292b33993fb8d158da081678b423c73e77f9c7ed","ref":"refs/heads/main","pushedAt":"2024-04-28T04:28:50.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Vtec234","name":"Wojciech Nawrocki","path":"/Vtec234","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13901751?s=80&v=4"},"commit":{"message":"feat: implement JSX `...` notation (#54)\n\n* feat: implement JSX `...` notation\r\n\r\n* fix\r\n\r\n* fix\r\n\r\n* doc: example\r\n\r\n* move\r\n\r\n* fix and use the new notation\r\n\r\n* Update ProofWidgets/Data/Html.lean\r\n\r\n---------\r\n\r\nCo-authored-by: Wojciech Nawrocki <wjnawrocki+gh@protonmail.com>","shortMessageHtmlLink":"feat: implement JSX <code>...</code> notation (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2262323250\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover-community/ProofWidgets4/issues/54\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/leanprover-community/ProofWidgets4/pull/54/hovercard\" href=\"https://github.com/leanprover-community/ProofWidgets4/pull/54\">#54</a>)"}},{"before":"af82dcbeecae61f5148e502b7651abf163209309","after":"ca93804f03e3abc9d48a5f5966aaf98ca2c16532","ref":"refs/heads/main","pushedAt":"2024-04-27T23:15:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Vtec234","name":"Wojciech Nawrocki","path":"/Vtec234","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13901751?s=80&v=4"},"commit":{"message":"chore: disable mac builds","shortMessageHtmlLink":"chore: disable mac builds"}},{"before":"7c346d204c7e977f0ef5e096a3ddb867186d58a3","after":"af82dcbeecae61f5148e502b7651abf163209309","ref":"refs/heads/main","pushedAt":"2024-04-27T05:19:10.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Vtec234","name":"Wojciech Nawrocki","path":"/Vtec234","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13901751?s=80&v=4"},"commit":{"message":"feat: title of filter button depending on state (#51)\n\n* feat: filterDetails component used in library rewrite\r\n\r\n* feat: generalize summary\r\n\r\n* feat: include in build and use consistent icon\r\n\r\n* feat: let filter button title depend on filter state\r\n\r\n---------\r\n\r\nCo-authored-by: Wojciech Nawrocki <wjnawrocki+gh@protonmail.com>\r\nCo-authored-by: Wojciech Nawrocki <wjnawrocki@protonmail.com>","shortMessageHtmlLink":"feat: title of filter button depending on state (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2251760993\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover-community/ProofWidgets4/issues/51\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/leanprover-community/ProofWidgets4/pull/51/hovercard\" href=\"https://github.com/leanprover-community/ProofWidgets4/pull/51\">#51</a>)"}},{"before":"aa01cb79b05f81ebf73a5a5e2a9acf2631eb0bc6","after":"7c346d204c7e977f0ef5e096a3ddb867186d58a3","ref":"refs/heads/main","pushedAt":"2024-04-27T05:13:25.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Vtec234","name":"Wojciech Nawrocki","path":"/Vtec234","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13901751?s=80&v=4"},"commit":{"message":"fix: improve the delaborators for `ProofWidgets.Html` (#53)\n\n* fix: correct issues in the JSX delaborator\r\n\r\n* wip\r\n\r\n* done\r\n\r\n* silence check\r\n\r\n* move test\r\n\r\n* docs: adjust\r\n\r\n* adjustments\r\n\r\n---------\r\n\r\nCo-authored-by: Wojciech Nawrocki <wjnawrocki+gh@protonmail.com>\r\nCo-authored-by: Wojciech Nawrocki <wjnawrocki@protonmail.com>","shortMessageHtmlLink":"fix: improve the delaborators for <code>ProofWidgets.Html</code> (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2259853359\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover-community/ProofWidgets4/issues/53\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/leanprover-community/ProofWidgets4/pull/53/hovercard\" href=\"https://github.com/leanprover-community/ProofWidgets4/pull/53\">#53</a>)"}},{"before":"cb9dbe3f1803c0fd8e7d7966f0dfb0b3be1720ab","after":"aa01cb79b05f81ebf73a5a5e2a9acf2631eb0bc6","ref":"refs/heads/main","pushedAt":"2024-04-23T19:10:02.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Vtec234","name":"Wojciech Nawrocki","path":"/Vtec234","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13901751?s=80&v=4"},"commit":{"message":"chore: change the syntax node name to match the parser (#52)\n\nPreviously the node was called `jsxText` but the parser was called `ProofWidgets.Jsx.jsxText`.\r\nThis changes the former to match the latter.\r\n\r\nAlso adds a docstring to `{}`-interpolation, which appears in VSCode hovers.","shortMessageHtmlLink":"chore: change the syntax node name to match the parser (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2259577694\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover-community/ProofWidgets4/issues/52\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/leanprover-community/ProofWidgets4/pull/52/hovercard\" href=\"https://github.com/leanprover-community/ProofWidgets4/pull/52\">#52</a>)"}},{"before":"209d033c05cc0775ca2b3fa7c7aeca4048623ae9","after":"cb9dbe3f1803c0fd8e7d7966f0dfb0b3be1720ab","ref":"refs/heads/main","pushedAt":"2024-04-18T20:21:56.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Vtec234","name":"Wojciech Nawrocki","path":"/Vtec234","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13901751?s=80&v=4"},"commit":{"message":"feat: filterDetails component used in library rewrite (#50)\n\n* feat: filterDetails component used in library rewrite\r\n\r\n* feat: generalize summary\r\n\r\n* feat: include in build and use consistent icon\r\n\r\n---------\r\n\r\nCo-authored-by: Wojciech Nawrocki <wjnawrocki+gh@protonmail.com>\r\nCo-authored-by: Wojciech Nawrocki <wjnawrocki@protonmail.com>","shortMessageHtmlLink":"feat: filterDetails component used in library rewrite (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2229433967\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover-community/ProofWidgets4/issues/50\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/leanprover-community/ProofWidgets4/pull/50/hovercard\" href=\"https://github.com/leanprover-community/ProofWidgets4/pull/50\">#50</a>)"}},{"before":"7d648981fe6544b766c0782e1295638e61c97b49","after":"209d033c05cc0775ca2b3fa7c7aeca4048623ae9","ref":"refs/heads/main","pushedAt":"2024-04-05T23:35:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Vtec234","name":"Wojciech Nawrocki","path":"/Vtec234","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13901751?s=80&v=4"},"commit":{"message":"fix: link","shortMessageHtmlLink":"fix: link"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAESzrCCQA","startCursor":null,"endCursor":null}},"title":"Activity · leanprover-community/ProofWidgets4"}