{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":59719510,"defaultBranch":"main","name":"coq-serapi","ownerLogin":"ejgallego","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2016-05-26T04:22:15.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/7192257?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1718544882.0","currentOid":""},"activityList":{"items":[{"before":"eb845aa47fca05b743478a7878c218503c1cc0c7","after":"7563a3d68a8beef2ad78c0019ad2772cbfb5fe38","ref":"refs/heads/main","pushedAt":"2024-06-24T10:56:31.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"SkySkimmer","name":"Gaëtan Gilbert","path":"/SkySkimmer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2461932?s=80&v=4"},"commit":{"message":"Merge pull request #421 from gares/quickfix\n\nadapt to coq/coq#19147","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2367601383\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ejgallego/coq-serapi/issues/421\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ejgallego/coq-serapi/pull/421/hovercard\" href=\"https://github.com/ejgallego/coq-serapi/pull/421\">#421</a> from gares/quickfix"}},{"before":"c4c7b02eec63b638eadd04965257e3f4c74770f2","after":null,"ref":"refs/heads/remove_legacy_build_mode","pushedAt":"2024-06-16T13:34:42.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":"1acac449e1f23d588df169e40c845726f7dd7221","after":null,"ref":"refs/heads/vernacstate_remove_parsing","pushedAt":"2024-06-14T14:04:59.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"SkySkimmer","name":"Gaëtan Gilbert","path":"/SkySkimmer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2461932?s=80&v=4"}},{"before":"683b7de2b0059b242ae3ab83dedb483be5c93d6d","after":"eb845aa47fca05b743478a7878c218503c1cc0c7","ref":"refs/heads/main","pushedAt":"2024-06-14T14:04:56.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"SkySkimmer","name":"Gaëtan Gilbert","path":"/SkySkimmer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2461932?s=80&v=4"},"commit":{"message":"Merge pull request #419 from ejgallego/vernacstate_remove_parsing\n\n[coq] Adapt to coq/coq#19193","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2344690948\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ejgallego/coq-serapi/issues/419\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ejgallego/coq-serapi/pull/419/hovercard\" href=\"https://github.com/ejgallego/coq-serapi/pull/419\">#419</a> from ejgallego/vernacstate_remove_parsing"}},{"before":null,"after":"1acac449e1f23d588df169e40c845726f7dd7221","ref":"refs/heads/vernacstate_remove_parsing","pushedAt":"2024-06-10T19:34:34.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":"[coq] Adapt to coq/coq#19193","shortMessageHtmlLink":"[coq] Adapt to <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2342343674\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/coq/issues/19193\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/coq/pull/19193/hovercard\" href=\"https://github.com/coq/coq/pull/19193\">coq/coq#19193</a>"}},{"before":"a2b612ae47756e40783f4613f6e85fc14f053cfa","after":null,"ref":"refs/heads/vernacstate_remove_pcoq","pushedAt":"2024-06-10T11:59:44.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"SkySkimmer","name":"Gaëtan Gilbert","path":"/SkySkimmer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2461932?s=80&v=4"}},{"before":"451e9a3fbb7945b07c29a1dd05a0a4e27e575f10","after":"683b7de2b0059b242ae3ab83dedb483be5c93d6d","ref":"refs/heads/main","pushedAt":"2024-06-10T11:59:40.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"SkySkimmer","name":"Gaëtan Gilbert","path":"/SkySkimmer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2461932?s=80&v=4"},"commit":{"message":"Merge pull request #417 from ejgallego/vernacstate_remove_pcoq\n\n[coq] Adapt to coq/coq#19187","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2341896403\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ejgallego/coq-serapi/issues/417\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ejgallego/coq-serapi/pull/417/hovercard\" href=\"https://github.com/ejgallego/coq-serapi/pull/417\">#417</a> from ejgallego/vernacstate_remove_pcoq"}},{"before":null,"after":"a2b612ae47756e40783f4613f6e85fc14f053cfa","ref":"refs/heads/vernacstate_remove_pcoq","pushedAt":"2024-06-08T22:43:00.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":"[coq] Adapt to coq/coq#19187","shortMessageHtmlLink":"[coq] Adapt to <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2341676412\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/coq/issues/19187\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/coq/pull/19187/hovercard\" href=\"https://github.com/coq/coq/pull/19187\">coq/coq#19187</a>"}},{"before":"e59d1dc301e0a2079b73440dc96ab544b1d4bed4","after":"451e9a3fbb7945b07c29a1dd05a0a4e27e575f10","ref":"refs/heads/main","pushedAt":"2024-06-05T18:15:55.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":"[deps] Bump to Dune 2.9 as to support Coq's CI setup.\n\nFor our version of the language we don't support installed packages\nactually.","shortMessageHtmlLink":"[deps] Bump to Dune 2.9 as to support Coq's CI setup."}},{"before":"c705fe4b2fea167ca4a7df6f0e765c7b350fd3f5","after":null,"ref":"refs/heads/serlib_merge","pushedAt":"2024-06-05T16:15:28.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":null,"after":"c705fe4b2fea167ca4a7df6f0e765c7b350fd3f5","ref":"refs/heads/serlib_merge","pushedAt":"2024-06-05T11:13:56.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":"[sertop] Use coq-lsp plugin loader\n\nThis is the right choice as serlib is now hosted there.","shortMessageHtmlLink":"[sertop] Use coq-lsp plugin loader"}},{"before":"c705fe4b2fea167ca4a7df6f0e765c7b350fd3f5","after":null,"ref":"refs/heads/serlib_merge","pushedAt":"2024-06-05T11:13:54.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":null,"after":"c705fe4b2fea167ca4a7df6f0e765c7b350fd3f5","ref":"refs/heads/serlib_merge","pushedAt":"2024-06-05T11:12:41.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":"[sertop] Use coq-lsp plugin loader\n\nThis is the right choice as serlib is now hosted there.","shortMessageHtmlLink":"[sertop] Use coq-lsp plugin loader"}},{"before":"9c3f5bf6060b8899851eeba160636b6a9a817c86","after":"2d00383273fae2f964c35070e03fa7675a6399ce","ref":"refs/heads/v8.17","pushedAt":"2024-06-04T18:00:00.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":"[build] Depend on result explicitly.","shortMessageHtmlLink":"[build] Depend on result explicitly."}},{"before":"c705fe4b2fea167ca4a7df6f0e765c7b350fd3f5","after":null,"ref":"refs/heads/serlib_merge","pushedAt":"2024-06-04T15:38:28.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":"24c672bd9083f8a807fc6c568333f2fd5f4d036b","after":"e59d1dc301e0a2079b73440dc96ab544b1d4bed4","ref":"refs/heads/main","pushedAt":"2024-06-04T15:38:26.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"ejgallego","name":"Emilio Jesús Gallego Arias","path":"/ejgallego","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7192257?s=80&v=4"},"commit":{"message":"Merge pull request #409 from ejgallego/serlib_merge\n\n[serlib] Remove serlib and use coq-lsp serlib version instead.","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2287694621\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ejgallego/coq-serapi/issues/409\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ejgallego/coq-serapi/pull/409/hovercard\" href=\"https://github.com/ejgallego/coq-serapi/pull/409\">#409</a> from ejgallego/serlib_merge"}},{"before":"4d3b1759d4c6013aec874c36f76165568949b5b1","after":"c705fe4b2fea167ca4a7df6f0e765c7b350fd3f5","ref":"refs/heads/serlib_merge","pushedAt":"2024-06-04T15:13:06.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":"[sertop] Use coq-lsp plugin loader\n\nThis is the right choice as serlib is now hosted there.","shortMessageHtmlLink":"[sertop] Use coq-lsp plugin loader"}},{"before":"2ef54ad61b1d6e4529586f1e2a81bef64429b497","after":"4d3b1759d4c6013aec874c36f76165568949b5b1","ref":"refs/heads/serlib_merge","pushedAt":"2024-06-03T18:12: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":"[ci] fix?","shortMessageHtmlLink":"[ci] fix?"}},{"before":"943396613732af63581ae17d93686dc5436d75e3","after":"2ef54ad61b1d6e4529586f1e2a81bef64429b497","ref":"refs/heads/serlib_merge","pushedAt":"2024-06-03T17:58:29.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":"[ci] fix?","shortMessageHtmlLink":"[ci] fix?"}},{"before":"26f36fbbb77c16069de8bc329b167e4c77e6ab86","after":"943396613732af63581ae17d93686dc5436d75e3","ref":"refs/heads/serlib_merge","pushedAt":"2024-06-03T17:25:12.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":"[ci] fix","shortMessageHtmlLink":"[ci] fix"}},{"before":"d14b2e1d0ea6e95db8caa3248e1d6ab8db237db3","after":"26f36fbbb77c16069de8bc329b167e4c77e6ab86","ref":"refs/heads/serlib_merge","pushedAt":"2024-06-03T17:21: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":"[ci] fix","shortMessageHtmlLink":"[ci] fix"}},{"before":"e0f95a66f059c2838eba17e0a026a423476679f7","after":"d14b2e1d0ea6e95db8caa3248e1d6ab8db237db3","ref":"refs/heads/serlib_merge","pushedAt":"2024-06-03T17:07:53.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"ejgallego","name":"Emilio Jesús Gallego Arias","path":"/ejgallego","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7192257?s=80&v=4"},"commit":{"message":"[ci] fix","shortMessageHtmlLink":"[ci] fix"}},{"before":"75d0835ace79c45924b525fc346975397c4f2324","after":"e0f95a66f059c2838eba17e0a026a423476679f7","ref":"refs/heads/serlib_merge","pushedAt":"2024-06-03T16:55:48.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":"ci debug","shortMessageHtmlLink":"ci debug"}},{"before":"29cf31e60aa7819e08755c684212f50464d51124","after":null,"ref":"refs/heads/fix_result_compat","pushedAt":"2024-05-29T16:49:27.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":"9f1cd45fe194a4ae46e956253ef4b2de6f403515","after":"24c672bd9083f8a807fc6c568333f2fd5f4d036b","ref":"refs/heads/main","pushedAt":"2024-05-29T16:49:24.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"ejgallego","name":"Emilio Jesús Gallego Arias","path":"/ejgallego","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7192257?s=80&v=4"},"commit":{"message":"Merge pull request #415 from ejgallego/fix_result_compat\n\n[serlib] Don't use compat type Result.result","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2323728104\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ejgallego/coq-serapi/issues/415\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ejgallego/coq-serapi/pull/415/hovercard\" href=\"https://github.com/ejgallego/coq-serapi/pull/415\">#415</a> from ejgallego/fix_result_compat"}},{"before":"6125c4a9aab75c52b9b64b25686076e679ccb017","after":"29cf31e60aa7819e08755c684212f50464d51124","ref":"refs/heads/fix_result_compat","pushedAt":"2024-05-29T16:22:59.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":"[serlib] Don't use compat type Result.result\n\nThis was a long overdue TODO.\n\ncc: https://github.com/ocaml/opam-repository/pull/25951","shortMessageHtmlLink":"[serlib] Don't use compat type Result.result"}},{"before":null,"after":"6125c4a9aab75c52b9b64b25686076e679ccb017","ref":"refs/heads/fix_result_compat","pushedAt":"2024-05-29T16:15:36.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":"[serlib] Don't use compat type Result.result\n\nThis was a long overdue TODO.\n\ncc: https://github.com/ocaml/opam-repository/pull/25951","shortMessageHtmlLink":"[serlib] Don't use compat type Result.result"}},{"before":"cfa66f2b1b55394929bfd003258254b4580d6585","after":"9f1cd45fe194a4ae46e956253ef4b2de6f403515","ref":"refs/heads/main","pushedAt":"2024-05-29T08:30:53.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"SkySkimmer","name":"Gaëtan Gilbert","path":"/SkySkimmer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2461932?s=80&v=4"},"commit":{"message":"Merge pull request #412 from SkySkimmer/csig-umap\n\nAdapt to coq/coq#19078 (different module type for unordered maps)","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2319095651\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ejgallego/coq-serapi/issues/412\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ejgallego/coq-serapi/pull/412/hovercard\" href=\"https://github.com/ejgallego/coq-serapi/pull/412\">#412</a> from SkySkimmer/csig-umap"}},{"before":"62bc48ee03bd683dff9453fcd9d9c61e88a68779","after":"a5e0949fd6884e4dcab302bd4a2fde064934e923","ref":"refs/heads/test_ltac2","pushedAt":"2024-05-28T09:22:57.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":"[serlib] [ltac2] Test for Ltac2 serialization\n\nThis fails for now, as we need to implement support for yet another\ngeneric arguments setup.\n\nTo be fixed under-demand.","shortMessageHtmlLink":"[serlib] [ltac2] Test for Ltac2 serialization"}},{"before":"08ade6176cd14817dc581a2a03b393cbfb5f02a9","after":null,"ref":"refs/heads/fix_ltac2_piercing","pushedAt":"2024-05-28T09:17:26.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"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEbWkPXwA","startCursor":null,"endCursor":null}},"title":"Activity · ejgallego/coq-serapi"}