{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":221434290,"defaultBranch":"master","name":"coq","ownerLogin":"proux01","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2019-11-13T10:34:47.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/15833376?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1726927012.0","currentOid":""},"activityList":{"items":[{"before":"59c94d620e03e1bfebf6469c42834219025900b7","after":"e6afea7b2722254783a78bf2b036dc665fa8a4a4","ref":"refs/heads/ltac2-eval-flags","pushedAt":"2024-09-22T13:00:00.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Resolve abbreviations in Ltac2 eval reduction flags (fixes #19590)","shortMessageHtmlLink":"Resolve abbreviations in Ltac2 eval reduction flags (<span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #19590.\">fixes</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2540284421\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/coq/issues/19590\" data-hovercard-type=\"issue\" data-hovercard-url=\"/coq/coq/issues/19590/hovercard\" href=\"https://github.com/coq/coq/issues/19590\">coq#19590</a>)"}},{"before":"db1e7d7a06cbff8c41a1a445ba9796acf0be516d","after":"59c94d620e03e1bfebf6469c42834219025900b7","ref":"refs/heads/ltac2-eval-flags","pushedAt":"2024-09-22T07:49:44.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Resolve abbreviations in Ltac2 eval reduction flags (fixes #19590)","shortMessageHtmlLink":"Resolve abbreviations in Ltac2 eval reduction flags (<span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #19590.\">fixes</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2540284421\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/coq/issues/19590\" data-hovercard-type=\"issue\" data-hovercard-url=\"/coq/coq/issues/19590/hovercard\" href=\"https://github.com/coq/coq/issues/19590\">coq#19590</a>)"}},{"before":"7d6683481806688cba561dab28bc7dd836d006b1","after":"b2bd2710002988b7024b976090fe0a7a349c4b23","ref":"refs/heads/stdlib_repo","pushedAt":"2024-09-21T17:03:01.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Add changelog","shortMessageHtmlLink":"Add changelog"}},{"before":"4f5a2954b7babf888e48e45cbe4ad3e132147dc0","after":"db1e7d7a06cbff8c41a1a445ba9796acf0be516d","ref":"refs/heads/ltac2-eval-flags","pushedAt":"2024-09-21T14:55:44.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Resolve abbreviations in Ltac2 eval reduction flags (fixes #19590)","shortMessageHtmlLink":"Resolve abbreviations in Ltac2 eval reduction flags (<span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #19590.\">fixes</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2540284421\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/coq/issues/19590\" data-hovercard-type=\"issue\" data-hovercard-url=\"/coq/coq/issues/19590/hovercard\" href=\"https://github.com/coq/coq/issues/19590\">coq#19590</a>)"}},{"before":"db12a4006491c9233c79ef25d45b6c054899c65d","after":"7d6683481806688cba561dab28bc7dd836d006b1","ref":"refs/heads/stdlib_repo","pushedAt":"2024-09-21T14:46:29.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Add changelog","shortMessageHtmlLink":"Add changelog"}},{"before":"10f1c37bd3156b95d0f4f98bcadad8a3b8cd56b0","after":"4f5a2954b7babf888e48e45cbe4ad3e132147dc0","ref":"refs/heads/ltac2-eval-flags","pushedAt":"2024-09-21T14:08:39.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Resolve abbreviations in Ltac2 eval reduction flags (fixes #19590)","shortMessageHtmlLink":"Resolve abbreviations in Ltac2 eval reduction flags (<span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #19590.\">fixes</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2540284421\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/coq/issues/19590\" data-hovercard-type=\"issue\" data-hovercard-url=\"/coq/coq/issues/19590/hovercard\" href=\"https://github.com/coq/coq/issues/19590\">coq#19590</a>)"}},{"before":null,"after":"10f1c37bd3156b95d0f4f98bcadad8a3b8cd56b0","ref":"refs/heads/ltac2-eval-flags","pushedAt":"2024-09-21T13:56:52.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Resolve abbreviations in Ltac2 eval reduction flags","shortMessageHtmlLink":"Resolve abbreviations in Ltac2 eval reduction flags"}},{"before":"83133a97cd9a449c3dfd356c41ff23db3d03bf18","after":"db12a4006491c9233c79ef25d45b6c054899c65d","ref":"refs/heads/stdlib_repo","pushedAt":"2024-09-21T13:48:25.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Add changelog","shortMessageHtmlLink":"Add changelog"}},{"before":"bff04dcb3e141b75287bc001532aea298966e06e","after":"83133a97cd9a449c3dfd356c41ff23db3d03bf18","ref":"refs/heads/stdlib_repo","pushedAt":"2024-09-21T13:00:06.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Add changelog","shortMessageHtmlLink":"Add changelog"}},{"before":"e982fa72f54b260e12a9d7782359488cec42a230","after":"bff04dcb3e141b75287bc001532aea298966e06e","ref":"refs/heads/stdlib_repo","pushedAt":"2024-09-21T11:15:33.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Add changelog","shortMessageHtmlLink":"Add changelog"}},{"before":"ba7daeaf82419b3720633b7ed0fad18e15495913","after":"e982fa72f54b260e12a9d7782359488cec42a230","ref":"refs/heads/stdlib_repo","pushedAt":"2024-09-21T10:32:43.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Add changelog","shortMessageHtmlLink":"Add changelog"}},{"before":"122b784189a17361d4f9e69d8f1506842d323b2b","after":"ba7daeaf82419b3720633b7ed0fad18e15495913","ref":"refs/heads/stdlib_repo","pushedAt":"2024-09-21T09:00:18.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Add changelog","shortMessageHtmlLink":"Add changelog"}},{"before":"bf48731a4474fb87373ef5dbf610c414f847fdad","after":null,"ref":"refs/heads/ci-vst","pushedAt":"2024-09-20T14:16:26.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"}},{"before":"7dd3b420cfaef59f83908e4893e1af4151f37cff","after":"827d75ca04a37c9603ae8f99c0c2ab5a865baab4","ref":"refs/heads/ci-deadline","pushedAt":"2024-09-20T12:49:23.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Add a clear deadline to CI policy\n\nCo-authored-by: Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net>\nCo-authored-by: andres-erbsen <andres-erbsen@users.noreply.github.com>\nCo-authored-by: Zimmi48 <Zimmi48@users.noreply.github.com>","shortMessageHtmlLink":"Add a clear deadline to CI policy"}},{"before":"5266de9f5d76f6e4da0bb8df972edc45e49482a4","after":null,"ref":"refs/heads/coercion-field-cleanup","pushedAt":"2024-09-20T12:30:00.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"}},{"before":null,"after":"bf48731a4474fb87373ef5dbf610c414f847fdad","ref":"refs/heads/ci-vst","pushedAt":"2024-09-20T11:13:35.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Revert \"[CI] Make VST compile its own compcert\"\n\nThis reverts commit b767680ca67f7576d84cf42bd8729a5e30a06e66\nnow that https://github.com/PrincetonUniversity/VST/pull/781\nhas been merged, making VST compile again with CompCert master.","shortMessageHtmlLink":"Revert \"[CI] Make VST compile its own compcert\""}},{"before":"fbd6adb57f76ba316a98ebe4d5aa3bc0ec220ace","after":"7dd3b420cfaef59f83908e4893e1af4151f37cff","ref":"refs/heads/ci-deadline","pushedAt":"2024-09-20T11:07:33.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Add a clear deadline to CI policy\n\nCo-authored-by: Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net>\nCo-authored-by: andres-erbsen <andres-erbsen@users.noreply.github.com>\nCo-authored-by: Zimmi48 <Zimmi48@users.noreply.github.com>","shortMessageHtmlLink":"Add a clear deadline to CI policy"}},{"before":"8682be9a67d8aa0cea31a7148af905ebc490e26d","after":"122b784189a17361d4f9e69d8f1506842d323b2b","ref":"refs/heads/stdlib_repo","pushedAt":"2024-09-20T10:51:19.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Add changelog","shortMessageHtmlLink":"Add changelog"}},{"before":"07dcd3ce7f6324af48127baaa1ee595cee5debce","after":"fbd6adb57f76ba316a98ebe4d5aa3bc0ec220ace","ref":"refs/heads/ci-deadline","pushedAt":"2024-09-19T15:29:52.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Add a clear deadline to CI policy","shortMessageHtmlLink":"Add a clear deadline to CI policy"}},{"before":"313202f8c0db9c4d00d42358ae934c692d8728ff","after":"07dcd3ce7f6324af48127baaa1ee595cee5debce","ref":"refs/heads/ci-deadline","pushedAt":"2024-09-19T15:29:13.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Add a clear deadline to CI policy","shortMessageHtmlLink":"Add a clear deadline to CI policy"}},{"before":"c0bdd6c8b60d74d8466da82682a111734b514100","after":null,"ref":"refs/heads/feedback-820-release","pushedAt":"2024-09-19T15:08:48.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"}},{"before":"d00a96696ce60ad5316c0ba2364caf9e74dba098","after":"8682be9a67d8aa0cea31a7148af905ebc490e26d","ref":"refs/heads/stdlib_repo","pushedAt":"2024-09-19T11:14:54.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Add changelog","shortMessageHtmlLink":"Add changelog"}},{"before":"01dfdb1822a15fd7aec03351ef189d72e6392718","after":"d00a96696ce60ad5316c0ba2364caf9e74dba098","ref":"refs/heads/stdlib_repo","pushedAt":"2024-09-19T10:22:13.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Add changelog","shortMessageHtmlLink":"Add changelog"}},{"before":"fc12c7864a975112dd15c1ea352a1368b9d14b5a","after":"5266de9f5d76f6e4da0bb8df972edc45e49482a4","ref":"refs/heads/coercion-field-cleanup","pushedAt":"2024-09-19T09:58:15.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Add changelog entry","shortMessageHtmlLink":"Add changelog entry"}},{"before":"591fa93e2e9957516a373e5136e7f7f3ec303c26","after":null,"ref":"refs/heads/ci-doc-minor-updates","pushedAt":"2024-09-19T09:40:32.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"}},{"before":"a3e7f08e85e23358ca1623a731e8d63e3a2ce008","after":"313202f8c0db9c4d00d42358ae934c692d8728ff","ref":"refs/heads/ci-deadline","pushedAt":"2024-09-19T08:21:55.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Add a clear deadline to CI policy","shortMessageHtmlLink":"Add a clear deadline to CI policy"}},{"before":"5cb930b6d8550fc1c577baed134bce83da603d56","after":"c0bdd6c8b60d74d8466da82682a111734b514100","ref":"refs/heads/feedback-820-release","pushedAt":"2024-09-19T07:50:12.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Feedback from 8.20 release process\n\nCo-authored-by: Zimmi48 <Zimmi48@users.noreply.github.com>","shortMessageHtmlLink":"Feedback from 8.20 release process"}},{"before":"9c8bf591c5e6e3053f6defd5ce40d6b0d1d3355c","after":"01dfdb1822a15fd7aec03351ef189d72e6392718","ref":"refs/heads/stdlib_repo","pushedAt":"2024-09-18T15:53:02.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Add changelog","shortMessageHtmlLink":"Add changelog"}},{"before":"991f129ae8256b3151defe7dfad20dc9ec73c8d9","after":"9c8bf591c5e6e3053f6defd5ce40d6b0d1d3355c","ref":"refs/heads/stdlib_repo","pushedAt":"2024-09-18T10:50:09.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Add changelog","shortMessageHtmlLink":"Add changelog"}},{"before":null,"after":"591fa93e2e9957516a373e5136e7f7f3ec303c26","ref":"refs/heads/ci-doc-minor-updates","pushedAt":"2024-09-18T07:52:53.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Minor updates","shortMessageHtmlLink":"Minor updates"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yMlQxMzowMDowMC4wMDAwMDBazwAAAAS9LjL0","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yMlQxMzowMDowMC4wMDAwMDBazwAAAAS9LjL0","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xOFQwNzo1Mjo1My4wMDAwMDBazwAAAAS5XkKw"}},"title":"Activity · proux01/coq"}