{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":35511034,"defaultBranch":"v8.17+lsp","name":"jscoq","ownerLogin":"jscoq","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2015-05-12T20:29:34.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/51918537?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1699637027.0","currentOid":""},"activityList":{"items":[{"before":null,"after":"d4f7b7bbdf741be9a12fc83470bc64b755a6d963","ref":"refs/heads/npm_template_tweak","pushedAt":"2023-11-10T17:23:47.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"ejgallego","name":"Emilio Jesús Gallego Arias","path":"/ejgallego","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7192257?s=80&v=4"},"commit":{"message":"[npm template] Mention css and adjust some paths\n\nThis seems a bit more in line with what we do in\nhttps://github.com/jscoq/coqdoc-template\n\ncc: #352","shortMessageHtmlLink":"[npm template] Mention css and adjust some paths"}},{"before":"99f18653b5388e2603627ff45d1fb1067a9506fb","after":"dc618add726f28c798e31b9cce81a39c9ad30f33","ref":"refs/heads/v8.14+html_goal","pushedAt":"2023-10-12T18:40:47.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ejgallego","name":"Emilio Jesús Gallego Arias","path":"/ejgallego","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7192257?s=80&v=4"},"commit":{"message":"[term] ccast node","shortMessageHtmlLink":"[term] ccast node"}},{"before":"ac2e899852f9408e8e9dbd3968166d256c12f23a","after":"f6e7e5b9c206063f65836f474a5dc3c8d0d9ad11","ref":"refs/heads/v8.17+lsp+goalview+doc+mdedit","pushedAt":"2023-10-12T17:29:23.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ejgallego","name":"Emilio Jesús Gallego Arias","path":"/ejgallego","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7192257?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":null,"after":"3d2bcb58dffd6064e8435403cf909f999010d5c6","ref":"refs/heads/dependabot/npm_and_yarn/postcss-and-vue-loader-8.4.31","pushedAt":"2023-10-05T00:50:57.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"Bump postcss and vue-loader\n\nBumps [postcss](https://github.com/postcss/postcss) to 8.4.31 and updates ancestor dependency [vue-loader](https://github.com/vuejs/vue-loader). These dependencies need to be updated together.\n\n\nUpdates `postcss` from 8.2.15 to 8.4.31\n- [Release notes](https://github.com/postcss/postcss/releases)\n- [Changelog](https://github.com/postcss/postcss/blob/main/CHANGELOG.md)\n- [Commits](https://github.com/postcss/postcss/compare/8.2.15...8.4.31)\n\nUpdates `vue-loader` from 15.9.8 to 17.2.2\n- [Release notes](https://github.com/vuejs/vue-loader/releases)\n- [Changelog](https://github.com/vuejs/vue-loader/blob/main/CHANGELOG.md)\n- [Commits](https://github.com/vuejs/vue-loader/compare/v15.9.8...v17.2.2)\n\n---\nupdated-dependencies:\n- dependency-name: postcss\n  dependency-type: indirect\n- dependency-name: vue-loader\n  dependency-type: direct:development\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump postcss and vue-loader"}},{"before":"79f2c157bd4d6cbf8f94ab709f339f597757549f","after":"ac2e899852f9408e8e9dbd3968166d256c12f23a","ref":"refs/heads/v8.17+lsp+goalview+doc+mdedit","pushedAt":"2023-10-01T18:58:29.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ejgallego","name":"Emilio Jesús Gallego Arias","path":"/ejgallego","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7192257?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":"7c0475fc4365c8e090388fb83ec5d574b43516c5","after":"3d71879479c31ad8180d5391e68c00aa6da7ae40","ref":"refs/heads/v8.17+lsp+goalview+doc","pushedAt":"2023-10-01T18:33:27.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ejgallego","name":"Emilio Jesús Gallego Arias","path":"/ejgallego","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7192257?s=80&v=4"},"commit":{"message":"[lsp] Connect LSP message to actual JsCoq `Log` worker event.","shortMessageHtmlLink":"[lsp] Connect LSP message to actual JsCoq <code>Log</code> worker event."}},{"before":"7fbf2c1d41ca85a2ffb40132cf9d588965b6d9d3","after":"c9e6555f4b3b02bd519404ebf37886c5190093aa","ref":"refs/heads/v8.17+lsp","pushedAt":"2023-10-01T17:16:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ejgallego","name":"Emilio Jesús Gallego Arias","path":"/ejgallego","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7192257?s=80&v=4"},"commit":{"message":"[jscoq] Set workspace debug setting from options.","shortMessageHtmlLink":"[jscoq] Set workspace debug setting from options."}},{"before":"238db8c88e9a2e57fe7982a98bd04bd55bc050fe","after":"7fbf2c1d41ca85a2ffb40132cf9d588965b6d9d3","ref":"refs/heads/v8.17+lsp","pushedAt":"2023-10-01T12:36:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"corwin-of-amber","name":"Shachar Itzhaky","path":"/corwin-of-amber","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/704372?s=80&v=4"},"commit":{"message":"[meta] Update CHANGES.","shortMessageHtmlLink":"[meta] Update CHANGES."}},{"before":"f1770cdc03f92fd5e1842abdf92b25f041c40fd4","after":"7ca41fe7432c1dd2951d4aa42f5216e7bdb11990","ref":"refs/heads/v8.17","pushedAt":"2023-10-01T12:36:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"corwin-of-amber","name":"Shachar Itzhaky","path":"/corwin-of-amber","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/704372?s=80&v=4"},"commit":{"message":"[meta] Update CHANGES.","shortMessageHtmlLink":"[meta] Update CHANGES."}},{"before":"b0443e9086df356ee22de471484126b6575831f7","after":"238db8c88e9a2e57fe7982a98bd04bd55bc050fe","ref":"refs/heads/v8.17+lsp","pushedAt":"2023-10-01T12:30:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"corwin-of-amber","name":"Shachar Itzhaky","path":"/corwin-of-amber","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/704372?s=80&v=4"},"commit":{"message":"[build] Locked version of wacoq-deps.","shortMessageHtmlLink":"[build] Locked version of wacoq-deps."}},{"before":"a5bf48cfe0e913151d4aa8ec23743a3156ffcf85","after":"f1770cdc03f92fd5e1842abdf92b25f041c40fd4","ref":"refs/heads/v8.17","pushedAt":"2023-10-01T12:30:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"corwin-of-amber","name":"Shachar Itzhaky","path":"/corwin-of-amber","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/704372?s=80&v=4"},"commit":{"message":"[build] Locked version of wacoq-deps.","shortMessageHtmlLink":"[build] Locked version of wacoq-deps."}},{"before":"e2f5e49a1e0cca365ce168ea4c3a8cdcc8d717e5","after":"b0443e9086df356ee22de471484126b6575831f7","ref":"refs/heads/v8.17+lsp","pushedAt":"2023-10-01T12:27:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"corwin-of-amber","name":"Shachar Itzhaky","path":"/corwin-of-amber","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/704372?s=80&v=4"},"commit":{"message":"[build] Added wacoq-deps manifest.","shortMessageHtmlLink":"[build] Added wacoq-deps manifest."}},{"before":"954dbd1d5e6a3fa409eb7fdc3498a59bfcee6ee0","after":"a5bf48cfe0e913151d4aa8ec23743a3156ffcf85","ref":"refs/heads/v8.17","pushedAt":"2023-10-01T12:27:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"corwin-of-amber","name":"Shachar Itzhaky","path":"/corwin-of-amber","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/704372?s=80&v=4"},"commit":{"message":"[build] Added wacoq-deps manifest.","shortMessageHtmlLink":"[build] Added wacoq-deps manifest."}},{"before":"45359db9460b115e77a102a09327e9f22d28429b","after":"954dbd1d5e6a3fa409eb7fdc3498a59bfcee6ee0","ref":"refs/heads/v8.17","pushedAt":"2023-09-30T20:29:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"corwin-of-amber","name":"Shachar Itzhaky","path":"/corwin-of-amber","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/704372?s=80&v=4"},"commit":{"message":"[meta] Bump ver to 0.17.1.","shortMessageHtmlLink":"[meta] Bump ver to 0.17.1."}},{"before":"114326dcd453ccf880f737ee7f9bcaa4e7830522","after":"45359db9460b115e77a102a09327e9f22d28429b","ref":"refs/heads/v8.17","pushedAt":"2023-09-27T14:31:53.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"corwin-of-amber","name":"Shachar Itzhaky","path":"/corwin-of-amber","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/704372?s=80&v=4"},"commit":{"message":"[build] [docker] Include branch name in uploaded image.","shortMessageHtmlLink":"[build] [docker] Include branch name in uploaded image."}},{"before":"08263fd12690e4667a1345ecc6b872831e2ffed2","after":"7123a7382acab96c3a3fad071c0bf1c611684d5a","ref":"refs/heads/v8.16","pushedAt":"2023-09-22T17:33:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"corwin-of-amber","name":"Shachar Itzhaky","path":"/corwin-of-amber","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/704372?s=80&v=4"},"commit":{"message":"[build] [docker] Dist sdk upload","shortMessageHtmlLink":"[build] [docker] Dist sdk upload"}},{"before":"d46717ac286ae7de1f47bda67baf0068b2651f9b","after":"08263fd12690e4667a1345ecc6b872831e2ffed2","ref":"refs/heads/v8.16","pushedAt":"2023-09-22T13:23:10.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"corwin-of-amber","name":"Shachar Itzhaky","path":"/corwin-of-amber","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/704372?s=80&v=4"},"commit":{"message":"[bugfix] [build] Fixed the dist","shortMessageHtmlLink":"[bugfix] [build] Fixed the dist"}},{"before":"0bcee440dc4ea62a4a67aaf99026a6c4aabd4349","after":"d46717ac286ae7de1f47bda67baf0068b2651f9b","ref":"refs/heads/v8.16","pushedAt":"2023-09-22T13:19:28.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"corwin-of-amber","name":"Shachar Itzhaky","path":"/corwin-of-amber","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/704372?s=80&v=4"},"commit":{"message":"[bugfix] [build] Fixed the dist","shortMessageHtmlLink":"[bugfix] [build] Fixed the dist"}},{"before":"e6628d4cd12f99b51134e3385e3d0816e35128ba","after":"0bcee440dc4ea62a4a67aaf99026a6c4aabd4349","ref":"refs/heads/v8.16","pushedAt":"2023-09-22T13:17:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"corwin-of-amber","name":"Shachar Itzhaky","path":"/corwin-of-amber","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/704372?s=80&v=4"},"commit":{"message":"[bugfix] [build] Fixed the dist","shortMessageHtmlLink":"[bugfix] [build] Fixed the dist"}},{"before":"bd116f17931d39356f83d29af1f93e08ce655235","after":"e6628d4cd12f99b51134e3385e3d0816e35128ba","ref":"refs/heads/v8.16","pushedAt":"2023-09-22T12:51:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"corwin-of-amber","name":"Shachar Itzhaky","path":"/corwin-of-amber","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/704372?s=80&v=4"},"commit":{"message":"[bugfix] [build] Lock Dune version.","shortMessageHtmlLink":"[bugfix] [build] Lock Dune version."}},{"before":"a796825326e7504de407e76dec22cb1c042356ca","after":"e2f5e49a1e0cca365ce168ea4c3a8cdcc8d717e5","ref":"refs/heads/v8.17+lsp","pushedAt":"2023-08-22T11:02:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"corwin-of-amber","name":"Shachar Itzhaky","path":"/corwin-of-amber","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/704372?s=80&v=4"},"commit":{"message":"[feature] Autocomplete on LSP.\n\nThis is still tied to CodeMirror 5.\nRequests are not interrupted anymore when a new request is issued;\nthere is some race (see @todo in `coq-worker.ts`).","shortMessageHtmlLink":"[feature] Autocomplete on LSP."}},{"before":"b80636e8b6ac5aeae86604eddba2f11069c7a193","after":null,"ref":"refs/heads/v8.17+lsp+goalview","pushedAt":"2023-08-18T14:21:48.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"ejgallego","name":"Emilio Jesús Gallego Arias","path":"/ejgallego","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7192257?s=80&v=4"}},{"before":"ff59945fc512aca30d9d6a26028f3357e7bcc2b4","after":"a796825326e7504de407e76dec22cb1c042356ca","ref":"refs/heads/v8.17+lsp","pushedAt":"2023-08-17T19:19:53.000Z","pushType":"pr_merge","commitsCount":9,"pusher":{"login":"corwin-of-amber","name":"Shachar Itzhaky","path":"/corwin-of-amber","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/704372?s=80&v=4"},"commit":{"message":"Merge pull request #336 from jscoq/v8.17+lsp+goalview\n\n[frontend] Use coq-lsp view which in turn is jsCoq view converted to React","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1822653067\" data-permission-text=\"Title is private\" data-url=\"https://github.com/jscoq/jscoq/issues/336\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/jscoq/jscoq/pull/336/hovercard\" href=\"https://github.com/jscoq/jscoq/pull/336\">#336</a> from jscoq/v8.17+lsp+goalview"}},{"before":"8ef46a4535c507ef95b91da94e9227809c49a0da","after":"b80636e8b6ac5aeae86604eddba2f11069c7a193","ref":"refs/heads/v8.17+lsp+goalview","pushedAt":"2023-08-15T20:53:38.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"corwin-of-amber","name":"Shachar Itzhaky","path":"/corwin-of-amber","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/704372?s=80&v=4"},"commit":{"message":"[feature] Persist split ratio.","shortMessageHtmlLink":"[feature] Persist split ratio."}},{"before":"aae9aa2354bc9fd81e302d7439f50c36e9d6232d","after":"8ef46a4535c507ef95b91da94e9227809c49a0da","ref":"refs/heads/v8.17+lsp+goalview","pushedAt":"2023-08-14T20:29:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"corwin-of-amber","name":"Shachar Itzhaky","path":"/corwin-of-amber","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/704372?s=80&v=4"},"commit":{"message":"[ui] [feature] Proper splitter w/ dragging.\n\nFor flex layout (fixed layout rip probably).","shortMessageHtmlLink":"[ui] [feature] Proper splitter w/ dragging."}},{"before":"c8fa363d8830d74dc709f117157b3b60c9888efd","after":"aae9aa2354bc9fd81e302d7439f50c36e9d6232d","ref":"refs/heads/v8.17+lsp+goalview","pushedAt":"2023-08-13T13:58:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"corwin-of-amber","name":"Shachar Itzhaky","path":"/corwin-of-amber","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/704372?s=80&v=4"},"commit":{"message":"[port] Corrected package reload.\n\nStill does not work, blocked by the workspace refresh capability of the worker.","shortMessageHtmlLink":"[port] Corrected package reload."}},{"before":"d4cf965dd0c2a511635b57bd1b3e15b613a8df11","after":"c8fa363d8830d74dc709f117157b3b60c9888efd","ref":"refs/heads/v8.17+lsp+goalview","pushedAt":"2023-08-13T13:54:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"corwin-of-amber","name":"Shachar Itzhaky","path":"/corwin-of-amber","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/704372?s=80&v=4"},"commit":{"message":"[cleanup] Got rid of `my_fflate.ts`.\n\nProbably `fflate-unzip` is inconsistent because it does not have a\n`'type': 'module'` field.\nShould check.","shortMessageHtmlLink":"[cleanup] Got rid of <code>my_fflate.ts</code>."}},{"before":"cdae4df985de205a49bd91fef7be5b8cb6a3534e","after":"114326dcd453ccf880f737ee7f9bcaa4e7830522","ref":"refs/heads/v8.17","pushedAt":"2023-08-13T13:53:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"corwin-of-amber","name":"Shachar Itzhaky","path":"/corwin-of-amber","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/704372?s=80&v=4"},"commit":{"message":"[cleanup] Got rid of `my_fflate.ts`.\n\nProbably `fflate-unzip` is inconsistent because it does not have a\n`'type': 'module'` field.\nShould check.","shortMessageHtmlLink":"[cleanup] Got rid of <code>my_fflate.ts</code>."}},{"before":"6d9df75ce9536e635e66c15ee3d297976740e16d","after":"d4cf965dd0c2a511635b57bd1b3e15b613a8df11","ref":"refs/heads/v8.17+lsp+goalview","pushedAt":"2023-08-09T20:53:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"corwin-of-amber","name":"Shachar Itzhaky","path":"/corwin-of-amber","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/704372?s=80&v=4"},"commit":{"message":"[ui] Dark mode for goal view.","shortMessageHtmlLink":"[ui] Dark mode for goal view."}},{"before":"e16b9127f68dd79f0abc931a237e793a2e7520d5","after":"6d9df75ce9536e635e66c15ee3d297976740e16d","ref":"refs/heads/v8.17+lsp+goalview","pushedAt":"2023-08-09T15:16:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"corwin-of-amber","name":"Shachar Itzhaky","path":"/corwin-of-amber","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/704372?s=80&v=4"},"commit":{"message":"[ui] Style adjustments for goal view.\n\nRestored the splash screen. The info view is hidden until needed.","shortMessageHtmlLink":"[ui] Style adjustments for goal view."}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADrGXxbQA","startCursor":null,"endCursor":null}},"title":"Activity · jscoq/jscoq"}