{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":92944917,"defaultBranch":"master","name":"bignums","ownerLogin":"coq-community","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2017-05-31T12:53:33.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/34452610?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1708092687.0","currentOid":""},"activityList":{"items":[{"before":"e6085d6726128a6ca49055d8fb6eb594848cf778","after":"da802e5c9469e4e13d0a1c22ed98092037b77010","ref":"refs/heads/master","pushedAt":"2024-04-16T07:37:35.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Merge pull request #90 from andres-erbsen/remove-Ndigits\n\ndo not depend on Ndigits","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2244472103\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/bignums/issues/90\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/bignums/pull/90/hovercard\" href=\"https://github.com/coq-community/bignums/pull/90\">#90</a> from andres-erbsen/remove-Ndigits"}},{"before":"adc6240b63d95b6aada3dc5d6ad3326a5e13dea4","after":null,"ref":"refs/heads/fix_ci","pushedAt":"2024-02-16T14:11:27.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"erikmd","name":"Erik Martin-Dorel","path":"/erikmd","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10367254?s=80&v=4"}},{"before":"3885b1a3ff6475c692fc83b539a43b8558fd1ec8","after":"e6085d6726128a6ca49055d8fb6eb594848cf778","ref":"refs/heads/master","pushedAt":"2024-02-16T14:11:23.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"erikmd","name":"Erik Martin-Dorel","path":"/erikmd","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10367254?s=80&v=4"},"commit":{"message":"fix(CI): Remove coq-bignums beforehand & Ensure `make -C tests` runs after `make install` (#87)\n\nCo-authored-by: Erik Martin-Dorel <erik.martin-dorel@irit.fr>\r\nCo-authored-by: Pierre Roux <pierre.roux@onera.fr>","shortMessageHtmlLink":"fix(CI): Remove coq-bignums beforehand &amp; Ensure <code>make -C tests</code> runs …"}},{"before":"4c008f2ac9832ddf8bedc96126f79108630aa71c","after":"adc6240b63d95b6aada3dc5d6ad3326a5e13dea4","ref":"refs/heads/fix_ci","pushedAt":"2024-02-16T14:06:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"erikmd","name":"Erik Martin-Dorel","path":"/erikmd","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10367254?s=80&v=4"},"commit":{"message":"fix: Ensure \"make -C tests\" runs after \"make install\"","shortMessageHtmlLink":"fix: Ensure \"make -C tests\" runs after \"make install\""}},{"before":"29e9de3e13086609c65872b5ca8feb6c039a92ed","after":"4c008f2ac9832ddf8bedc96126f79108630aa71c","ref":"refs/heads/fix_ci","pushedAt":"2024-02-16T13:54:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"erikmd","name":"Erik Martin-Dorel","path":"/erikmd","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10367254?s=80&v=4"},"commit":{"message":"Fixup","shortMessageHtmlLink":"Fixup"}},{"before":"1e2e235fd7401f9e79732bf0332c8a63491e2a2c","after":"29e9de3e13086609c65872b5ca8feb6c039a92ed","ref":"refs/heads/fix_ci","pushedAt":"2024-02-16T13:53:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"erikmd","name":"Erik Martin-Dorel","path":"/erikmd","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10367254?s=80&v=4"},"commit":{"message":"Update .github/workflows/docker-action.yml","shortMessageHtmlLink":"Update .github/workflows/docker-action.yml"}},{"before":"13e6c81fa1a5a27d0894549b3d28416ab7f2079c","after":"1e2e235fd7401f9e79732bf0332c8a63491e2a2c","ref":"refs/heads/fix_ci","pushedAt":"2024-02-13T16:41: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":"[CI] Remove coq-bignums before CI\n\nOtherwise the test are run with the bignums already in the Docker\nimage rather than the one just built by the CI.","shortMessageHtmlLink":"[CI] Remove coq-bignums before CI"}},{"before":"83c83b9f5a1028d784d63db11799cebd027c626a","after":"13e6c81fa1a5a27d0894549b3d28416ab7f2079c","ref":"refs/heads/fix_ci","pushedAt":"2024-02-13T16:34:03.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":"[CI] Remove coq-bignums before CI\n\nOtherwise the test are run with the bignums already in the Docker\nimage rather than the one just built by the CI.","shortMessageHtmlLink":"[CI] Remove coq-bignums before CI"}},{"before":"2260f17fd2e025a76a763a7eea41e8b7f0177b09","after":"83c83b9f5a1028d784d63db11799cebd027c626a","ref":"refs/heads/fix_ci","pushedAt":"2024-02-13T14:47: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":"[CI] Remove coq-bignums before CI\n\nOtherwise the test are run with the bignums already in the Docker\nimage rather than the one just built by the CI.","shortMessageHtmlLink":"[CI] Remove coq-bignums before CI"}},{"before":"761f31c99aaecdd3b4304291c109e3f384b7a6bf","after":"2260f17fd2e025a76a763a7eea41e8b7f0177b09","ref":"refs/heads/fix_ci","pushedAt":"2024-02-13T13:36:10.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":"[CI] Remove coq-bignums before CI\n\nOtherwise the test are run with the bignums already in the Docker\nimage rather than the one just built by the CI.","shortMessageHtmlLink":"[CI] Remove coq-bignums before CI"}},{"before":null,"after":"761f31c99aaecdd3b4304291c109e3f384b7a6bf","ref":"refs/heads/fix_ci","pushedAt":"2024-02-13T13:33:19.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":"[CI] Remove coq-bignums before CI\n\nOtherwise the test are run with the bignums already in the Docker\nimage rather than the one just built by the CI.","shortMessageHtmlLink":"[CI] Remove coq-bignums before CI"}},{"before":"91847047ffdcdfcf0e826d297d78bee8b6e438ff","after":"3885b1a3ff6475c692fc83b539a43b8558fd1ec8","ref":"refs/heads/master","pushedAt":"2024-02-13T13:24:03.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Merge pull request #86 from ppedrot/fix-bignums\n\nFix compilation on Coq master.","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2132290273\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/bignums/issues/86\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/bignums/pull/86/hovercard\" href=\"https://github.com/coq-community/bignums/pull/86\">#86</a> from ppedrot/fix-bignums"}},{"before":"cb65c878e764793081ead5fdcaffbe018dd713c3","after":"91847047ffdcdfcf0e826d297d78bee8b6e438ff","ref":"refs/heads/master","pushedAt":"2024-02-13T08:56:03.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Merge pull request #85 from ppedrot/clean-notationextern-key\n\nAdapt w.r.t. coq/coq#18667.","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2131774117\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/bignums/issues/85\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/bignums/pull/85/hovercard\" href=\"https://github.com/coq-community/bignums/pull/85\">#85</a> from ppedrot/clean-notationextern-key"}},{"before":"a386b1f4a3617a40e558d9cba417d14724a23576","after":null,"ref":"refs/heads/boilerplate-rectypes","pushedAt":"2023-12-30T18:16:50.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":"ab2a33d762180c00a845a93746ce1086632383c6","after":"cb65c878e764793081ead5fdcaffbe018dd713c3","ref":"refs/heads/master","pushedAt":"2023-12-30T18:16:46.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Merge pull request #84 from coq-community/boilerplate-rectypes\n\nFix boilerplate","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2060817900\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/bignums/issues/84\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/bignums/pull/84/hovercard\" href=\"https://github.com/coq-community/bignums/pull/84\">#84</a> from coq-community/boilerplate-rectypes"}},{"before":null,"after":"a386b1f4a3617a40e558d9cba417d14724a23576","ref":"refs/heads/boilerplate-rectypes","pushedAt":"2023-12-30T18:12:21.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"fix badges in README.md by regenerating from template","shortMessageHtmlLink":"fix badges in README.md by regenerating from template"}},{"before":null,"after":"595597380b833f9ead13d47bfd04571899e56770","ref":"refs/heads/v8.19","pushedAt":"2023-12-19T09:33:38.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":"Adapt meta.yml to v8.19 branch","shortMessageHtmlLink":"Adapt meta.yml to v8.19 branch"}},{"before":"97b72512ddd39a25801086a23e9375cf348d5a9e","after":"ab2a33d762180c00a845a93746ce1086632383c6","ref":"refs/heads/master","pushedAt":"2023-11-13T13:04: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 #83 from ppedrot/glob-evar-kinds","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1987859280\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/bignums/issues/83\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/bignums/pull/83/hovercard\" href=\"https://github.com/coq-community/bignums/pull/83\">#83</a> from ppedrot/glob-evar-kinds"}},{"before":"9b7f83031897a6e04333096591b772ef205c1e69","after":"97b72512ddd39a25801086a23e9375cf348d5a9e","ref":"refs/heads/master","pushedAt":"2023-10-30T12:24:07.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Merge pull request #82 from herbelin/master+adapt-17205-qed-on-let-deprecated\n\nAdapt the various \"Let\" ended with Qed","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1967152223\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/bignums/issues/82\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/bignums/pull/82/hovercard\" href=\"https://github.com/coq-community/bignums/pull/82\">#82</a> from herbelin/master+adapt-17205-qed-on-let-de…"}},{"before":"b06cf120d8efeaa4c0c6c3951c65c9512660764a","after":"9b7f83031897a6e04333096591b772ef205c1e69","ref":"refs/heads/master","pushedAt":"2023-09-08T11:26:26.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Merge pull request #80 from SkySkimmer/replace\n\nBetter fix for coq/coq#17964: use correct direction of assumption","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1887480676\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/bignums/issues/80\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/bignums/pull/80/hovercard\" href=\"https://github.com/coq-community/bignums/pull/80\">#80</a> from SkySkimmer/replace"}},{"before":"e78b25709316ae9ed231034dd90d080872b991bf","after":null,"ref":"refs/heads/replace","pushedAt":"2023-09-08T11:19:51.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":null,"after":"e78b25709316ae9ed231034dd90d080872b991bf","ref":"refs/heads/replace","pushedAt":"2023-09-08T11:19:40.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"SkySkimmer","name":"Gaëtan Gilbert","path":"/SkySkimmer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2461932?s=80&v=4"},"commit":{"message":"Better fix for coq/coq#17964: use correct direction of assumption\n\ninstead of automatically generated name","shortMessageHtmlLink":"Better fix for <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1854498878\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/coq/issues/17964\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/coq/pull/17964/hovercard\" href=\"https://github.com/coq/coq/pull/17964\">coq/coq#17964</a>: use correct direction of assumption"}},{"before":"38faaaa30820ad91d15104e513b8afbac768e689","after":"b06cf120d8efeaa4c0c6c3951c65c9512660764a","ref":"refs/heads/master","pushedAt":"2023-09-08T09:56: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 #79 from SkySkimmer/replace-assum","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1887326829\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/bignums/issues/79\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/bignums/pull/79/hovercard\" href=\"https://github.com/coq-community/bignums/pull/79\">#79</a> from SkySkimmer/replace-assum"}},{"before":null,"after":"aa10345e423e7f30b796453b073582a55e9c5727","ref":"refs/heads/v8.18","pushedAt":"2023-08-02T08:31:38.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":"Adapt meta.yml to v8.18 branch","shortMessageHtmlLink":"Adapt meta.yml to v8.18 branch"}},{"before":"a8c50a569a971d6e36e8df88ca16f9f8958f9543","after":"38faaaa30820ad91d15104e513b8afbac768e689","ref":"refs/heads/master","pushedAt":"2023-07-05T13:24:00.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Merge pull request #78 from SkySkimmer/intuit-auto\n\nStop using auto with * in intuition","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1789429278\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/bignums/issues/78\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/bignums/pull/78/hovercard\" href=\"https://github.com/coq-community/bignums/pull/78\">#78</a> from SkySkimmer/intuit-auto"}},{"before":"a358a4753fea98a818bbe5980549330b533aae1c","after":"a8c50a569a971d6e36e8df88ca16f9f8958f9543","ref":"refs/heads/master","pushedAt":"2023-05-03T14:47:46.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"ppedrot","name":"Pierre-Marie Pédrot","path":"/ppedrot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1202327?s=80&v=4"},"commit":{"message":"Merge pull request #76 from ppedrot/case-pf-pose-dependent-metas\n\nAdapt w.r.t. coq/coq#17564.","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1694165907\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/bignums/issues/76\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/bignums/pull/76/hovercard\" href=\"https://github.com/coq-community/bignums/pull/76\">#76</a> from ppedrot/case-pf-pose-dependent-metas"}},{"before":"7b02ba283220117fc60205290be3ad9b70552bf8","after":"a358a4753fea98a818bbe5980549330b533aae1c","ref":"refs/heads/master","pushedAt":"2023-04-10T16:56:31.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Merge pull request #75 from Alizter/fix-deprecated-globref\n\nSome extra dune support","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1659580165\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/bignums/issues/75\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/bignums/pull/75/hovercard\" href=\"https://github.com/coq-community/bignums/pull/75\">#75</a> from Alizter/fix-deprecated-globref"}},{"before":"cbe7d8b5f54c94512735efbdf3f2a71fa95924ea","after":"7f2c390e9d71037e4248c79c74fbf81067948b19","ref":"refs/heads/v8.13","pushedAt":"2023-03-15T08:16:15.273Z","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":"Start a changelog","shortMessageHtmlLink":"Start a changelog"}},{"before":"ab1098ceb89e739b9ff23e0179b58182b6d76ab0","after":"29e73a652c269e12039de7b5d400081383fe0fd7","ref":"refs/heads/v8.14","pushedAt":"2023-03-15T08:16:10.783Z","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":"Start a changelog","shortMessageHtmlLink":"Start a changelog"}},{"before":"cf4039ecc98f8c86083b025150738e9594d74eeb","after":"a9c998d65653f2ce5d1633c3386c557ff5489214","ref":"refs/heads/v8.15","pushedAt":"2023-03-15T08:16:05.518Z","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":"Start a changelog","shortMessageHtmlLink":"Start a changelog"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEMbW2UAA","startCursor":null,"endCursor":null}},"title":"Activity · coq-community/bignums"}