{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":196233996,"defaultBranch":"main","name":"vscoq","ownerLogin":"coq-community","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2019-07-10T15:48:24.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/34452610?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1725978314.0","currentOid":""},"activityList":{"items":[{"before":"18d993baea3fa31071d7e88e922ffe8a73bc6488","after":"4a2cda42b162dfa5542d3e3198d62685f6f79d2c","ref":"refs/heads/opt-pp","pushedAt":"2024-09-11T14:00:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rtetley","name":"Romain Tetley","path":"/rtetley","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32383664?s=80&v=4"},"commit":{"message":"WIP\n\nFinal version of Oppen algo for ppstring","shortMessageHtmlLink":"WIP"}},{"before":null,"after":"18d993baea3fa31071d7e88e922ffe8a73bc6488","ref":"refs/heads/opt-pp","pushedAt":"2024-09-10T14:25:14.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"rtetley","name":"Romain Tetley","path":"/rtetley","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32383664?s=80&v=4"},"commit":{"message":"WIP","shortMessageHtmlLink":"WIP"}},{"before":"d412dab5761a39dc63f1b7b31b257e009334bdc2","after":"70c2f40485243e2402d729afe27a836f44d5d910","ref":"refs/heads/try-windows-ci","pushedAt":"2024-09-10T12:30:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rtetley","name":"Romain Tetley","path":"/rtetley","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32383664?s=80&v=4"},"commit":{"message":"fix: change platform branch","shortMessageHtmlLink":"fix: change platform branch"}},{"before":"14c2f7c71edfe798c35f7b3bbfb08962a4fe23a4","after":"d412dab5761a39dc63f1b7b31b257e009334bdc2","ref":"refs/heads/try-windows-ci","pushedAt":"2024-09-10T11:30:32.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"rtetley","name":"Romain Tetley","path":"/rtetley","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32383664?s=80&v=4"},"commit":{"message":"Update .github/workflows/ci.yml","shortMessageHtmlLink":"Update .github/workflows/ci.yml"}},{"before":"6cc4d1d723b740b604d0105ea78d8d1b5f0fa12a","after":"89e249d016a69ed320af5a4a78b2a00210289a1a","ref":"refs/heads/main","pushedAt":"2024-09-09T13:14:37.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"rtetley","name":"Romain Tetley","path":"/rtetley","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32383664?s=80&v=4"},"commit":{"message":"Merge pull request #893 from coq-community/arch64\n\nbuild: we only support 64 bit arch","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2513889842\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/vscoq/issues/893\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/vscoq/pull/893/hovercard\" href=\"https://github.com/coq-community/vscoq/pull/893\">#893</a> from coq-community/arch64"}},{"before":null,"after":"f07859abff4e6b73717d88e655adefbe5fc9bfed","ref":"refs/heads/arch64","pushedAt":"2024-09-09T12:51:38.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"rtetley","name":"Romain Tetley","path":"/rtetley","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32383664?s=80&v=4"},"commit":{"message":"build: we only support 64 bit arch","shortMessageHtmlLink":"build: we only support 64 bit arch"}},{"before":"21f552cb928abc0d65cc8111d69eb62a6e9e1b23","after":null,"ref":"refs/heads/bump-version","pushedAt":"2024-09-06T14:10:17.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"gares","name":"Enrico Tassi","path":"/gares","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1013846?s=80&v=4"}},{"before":"16658a9cf0579ddcae8a8240aa84bf4a70093f8a","after":"6cc4d1d723b740b604d0105ea78d8d1b5f0fa12a","ref":"refs/heads/main","pushedAt":"2024-09-06T13:53:20.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"rtetley","name":"Romain Tetley","path":"/rtetley","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32383664?s=80&v=4"},"commit":{"message":"Merge pull request #890 from coq-community/bump-version\n\nBump version","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2510451431\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/vscoq/issues/890\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/vscoq/pull/890/hovercard\" href=\"https://github.com/coq-community/vscoq/pull/890\">#890</a> from coq-community/bump-version"}},{"before":"6891552f87339881501e8ffd4076c32cf564bdcb","after":"21f552cb928abc0d65cc8111d69eb62a6e9e1b23","ref":"refs/heads/bump-version","pushedAt":"2024-09-06T13:29:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rtetley","name":"Romain Tetley","path":"/rtetley","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32383664?s=80&v=4"},"commit":{"message":"docs: add screenshot of unfolded main menu","shortMessageHtmlLink":"docs: add screenshot of unfolded main menu"}},{"before":"f81aa1013106a965f7cfb7fd2b3c8491786dc20e","after":"6891552f87339881501e8ffd4076c32cf564bdcb","ref":"refs/heads/bump-version","pushedAt":"2024-09-06T12:54:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rtetley","name":"Romain Tetley","path":"/rtetley","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32383664?s=80&v=4"},"commit":{"message":"docs: add an image explaining the different menus","shortMessageHtmlLink":"docs: add an image explaining the different menus"}},{"before":null,"after":"f81aa1013106a965f7cfb7fd2b3c8491786dc20e","ref":"refs/heads/bump-version","pushedAt":"2024-09-06T09:14:19.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"rtetley","name":"Romain Tetley","path":"/rtetley","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32383664?s=80&v=4"},"commit":{"message":"build: bump version for release","shortMessageHtmlLink":"build: bump version for release"}},{"before":"a36cd5ba49ac26090f82fb27bdfb261d6a02636f","after":null,"ref":"refs/heads/coq-main-menu","pushedAt":"2024-09-06T08:55:30.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"rtetley","name":"Romain Tetley","path":"/rtetley","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32383664?s=80&v=4"}},{"before":"4b443cf5f20403ac3d09f270b58f6d34f83077d3","after":null,"ref":"refs/heads/walkthrough","pushedAt":"2024-09-06T08:55:25.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"rtetley","name":"Romain Tetley","path":"/rtetley","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32383664?s=80&v=4"}},{"before":"822835d7b6e02485088d157f7acb2b76d913e958","after":null,"ref":"refs/heads/changelog","pushedAt":"2024-09-06T08:55:24.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"rtetley","name":"Romain Tetley","path":"/rtetley","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32383664?s=80&v=4"}},{"before":"ee0b021d83e9a67f480da3ae97646dd40264659f","after":null,"ref":"refs/heads/manual-goal-view-display","pushedAt":"2024-09-06T08:55:21.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"rtetley","name":"Romain Tetley","path":"/rtetley","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32383664?s=80&v=4"}},{"before":"a754cb65978d39b28c54b4ba0debf683863c5884","after":"16658a9cf0579ddcae8a8240aa84bf4a70093f8a","ref":"refs/heads/main","pushedAt":"2024-09-05T11:54:05.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"rtetley","name":"Romain Tetley","path":"/rtetley","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32383664?s=80&v=4"},"commit":{"message":"Merge pull request #887 from coq-community/manual-goal-view-display\n\nfeat: Disable the auto display for the proof view","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2505369683\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/vscoq/issues/887\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/vscoq/pull/887/hovercard\" href=\"https://github.com/coq-community/vscoq/pull/887\">#887</a> from coq-community/manual-goal-view-display"}},{"before":"1f98745bf59ee9345e9b3a9837930a4d45e8e523","after":"ee0b021d83e9a67f480da3ae97646dd40264659f","ref":"refs/heads/manual-goal-view-display","pushedAt":"2024-09-05T07:51:03.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"rtetley","name":"Romain Tetley","path":"/rtetley","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32383664?s=80&v=4"},"commit":{"message":"feat: Disable the auto display for the proof view\n\nThis adds an option to disable the auto display of the goal view.\nWhen it is disabled, the user can access a Display Proof View command\nthrough a button on top of the editor or through the command palette.\n\ncloses issue #876","shortMessageHtmlLink":"feat: Disable the auto display for the proof view"}},{"before":null,"after":"1f98745bf59ee9345e9b3a9837930a4d45e8e523","ref":"refs/heads/manual-goal-view-display","pushedAt":"2024-09-04T13:21:38.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"rtetley","name":"Romain Tetley","path":"/rtetley","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32383664?s=80&v=4"},"commit":{"message":"feat: Disable the auto display for the proof view\n\nWIP","shortMessageHtmlLink":"feat: Disable the auto display for the proof view"}},{"before":"c38c71323d4ca509daadcb0a21f9855e4b05c335","after":"a754cb65978d39b28c54b4ba0debf683863c5884","ref":"refs/heads/main","pushedAt":"2024-09-04T12:51:41.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"rtetley","name":"Romain Tetley","path":"/rtetley","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32383664?s=80&v=4"},"commit":{"message":"Merge pull request #885 from coq-community/changelog\n\ndocs: update change log","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2505190881\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/vscoq/issues/885\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/vscoq/pull/885/hovercard\" href=\"https://github.com/coq-community/vscoq/pull/885\">#885</a> from coq-community/changelog"}},{"before":null,"after":"822835d7b6e02485088d157f7acb2b76d913e958","ref":"refs/heads/changelog","pushedAt":"2024-09-04T12:16:46.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"rtetley","name":"Romain Tetley","path":"/rtetley","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32383664?s=80&v=4"},"commit":{"message":"docs: update change log to point towards the releases section of the github repo.","shortMessageHtmlLink":"docs: update change log to point towards the releases section of the …"}},{"before":"d161b49ad1b7ff25c9234d5c2a3a53d549828a46","after":"c38c71323d4ca509daadcb0a21f9855e4b05c335","ref":"refs/heads/main","pushedAt":"2024-09-04T10:22:16.000Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"rtetley","name":"Romain Tetley","path":"/rtetley","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32383664?s=80&v=4"},"commit":{"message":"Merge pull request #849 from TDiazT/formatter\n\nconfig: Add prettier formatter","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2432353069\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/vscoq/issues/849\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/vscoq/pull/849/hovercard\" href=\"https://github.com/coq-community/vscoq/pull/849\">#849</a> from TDiazT/formatter"}},{"before":"9b9e61650156d8fbc1fcd5cafe53402e7d46019a","after":null,"ref":"refs/heads/dependabot/npm_and_yarn/client/webpack-5.94.0","pushedAt":"2024-09-02T08:14:41.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"}},{"before":"d76abd0effe76a54c6a1a056a3839553574f262a","after":"d161b49ad1b7ff25c9234d5c2a3a53d549828a46","ref":"refs/heads/main","pushedAt":"2024-09-02T08:14:34.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"rtetley","name":"Romain Tetley","path":"/rtetley","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32383664?s=80&v=4"},"commit":{"message":"Merge pull request #880 from coq-community/dependabot/npm_and_yarn/client/webpack-5.94.0\n\nBump webpack from 5.89.0 to 5.94.0 in /client","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2498472136\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/vscoq/issues/880\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/vscoq/pull/880/hovercard\" href=\"https://github.com/coq-community/vscoq/pull/880\">#880</a> from coq-community/dependabot/npm_and_yarn/cl…"}},{"before":"4fe13971690b53098499cbf921fb0231018cf9b5","after":null,"ref":"refs/heads/dependabot/npm_and_yarn/client/micromatch-4.0.8","pushedAt":"2024-09-02T08:14:33.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"}},{"before":"6f0ebb2dca4c0d4cc20b6a810daee28f711d4b6e","after":"d76abd0effe76a54c6a1a056a3839553574f262a","ref":"refs/heads/main","pushedAt":"2024-09-02T08:14:25.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"rtetley","name":"Romain Tetley","path":"/rtetley","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32383664?s=80&v=4"},"commit":{"message":"Merge pull request #881 from coq-community/dependabot/npm_and_yarn/client/micromatch-4.0.8\n\nBump micromatch from 4.0.5 to 4.0.8 in /client","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2500135615\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/vscoq/issues/881\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/vscoq/pull/881/hovercard\" href=\"https://github.com/coq-community/vscoq/pull/881\">#881</a> from coq-community/dependabot/npm_and_yarn/cl…"}},{"before":"40bc0b8671885cede0914b894f00dd69aff3dab7","after":"9b9e61650156d8fbc1fcd5cafe53402e7d46019a","ref":"refs/heads/dependabot/npm_and_yarn/client/webpack-5.94.0","pushedAt":"2024-09-02T07:14:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rtetley","name":"Romain Tetley","path":"/rtetley","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32383664?s=80&v=4"},"commit":{"message":"fix: update yarn.nix","shortMessageHtmlLink":"fix: update yarn.nix"}},{"before":"7714f9320a13980e168dacf6d6fef756d0da6999","after":"4fe13971690b53098499cbf921fb0231018cf9b5","ref":"refs/heads/dependabot/npm_and_yarn/client/micromatch-4.0.8","pushedAt":"2024-09-02T07:10:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rtetley","name":"Romain Tetley","path":"/rtetley","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32383664?s=80&v=4"},"commit":{"message":"fix: update yarn.nix","shortMessageHtmlLink":"fix: update yarn.nix"}},{"before":null,"after":"7714f9320a13980e168dacf6d6fef756d0da6999","ref":"refs/heads/dependabot/npm_and_yarn/client/micromatch-4.0.8","pushedAt":"2024-09-02T06:43:50.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 micromatch from 4.0.5 to 4.0.8 in /client\n\nBumps [micromatch](https://github.com/micromatch/micromatch) from 4.0.5 to 4.0.8.\n- [Release notes](https://github.com/micromatch/micromatch/releases)\n- [Changelog](https://github.com/micromatch/micromatch/blob/master/CHANGELOG.md)\n- [Commits](https://github.com/micromatch/micromatch/compare/4.0.5...4.0.8)\n\n---\nupdated-dependencies:\n- dependency-name: micromatch\n  dependency-type: indirect\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump micromatch from 4.0.5 to 4.0.8 in /client"}},{"before":"76e99bf7338bb58a162341b06e2a72621be4ccc6","after":"6f0ebb2dca4c0d4cc20b6a810daee28f711d4b6e","ref":"refs/heads/main","pushedAt":"2024-09-02T06:41:37.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"rtetley","name":"Romain Tetley","path":"/rtetley","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32383664?s=80&v=4"},"commit":{"message":"Merge pull request #868 from coq-community/walkthrough\n\nfeat: add a walkthrough","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2463387411\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/vscoq/issues/868\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/vscoq/pull/868/hovercard\" href=\"https://github.com/coq-community/vscoq/pull/868\">#868</a> from coq-community/walkthrough"}},{"before":null,"after":"40bc0b8671885cede0914b894f00dd69aff3dab7","ref":"refs/heads/dependabot/npm_and_yarn/client/webpack-5.94.0","pushedAt":"2024-08-31T00:49:52.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 webpack from 5.89.0 to 5.94.0 in /client\n\nBumps [webpack](https://github.com/webpack/webpack) from 5.89.0 to 5.94.0.\n- [Release notes](https://github.com/webpack/webpack/releases)\n- [Commits](https://github.com/webpack/webpack/compare/v5.89.0...v5.94.0)\n\n---\nupdated-dependencies:\n- dependency-name: webpack\n  dependency-type: direct:development\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump webpack from 5.89.0 to 5.94.0 in /client"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEs0dtOgA","startCursor":null,"endCursor":null}},"title":"Activity · coq-community/vscoq"}