{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":13559911,"defaultBranch":"master","name":"dedekind-reals","ownerLogin":"coq-community","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2013-10-14T11:54:08.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/34452610?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1718290859.0","currentOid":""},"activityList":{"items":[{"before":"a1f9f28bb09e616f0559c62b444db1dc1d78756d","after":null,"ref":"refs/heads/ci-boilerpolate","pushedAt":"2024-06-13T15:00:59.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"}},{"before":"16c1c4843998653e745ce4faad0b7f00a6e36af2","after":"5f8c262d83e2a78a0c68492af826a7b1ce797ce2","ref":"refs/heads/master","pushedAt":"2024-06-13T15:00:56.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"Merge pull request #19 from coq-community/ci-boilerpolate\n\nadd meta.yml and generate README.md, opam file and CI configuration","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2351275080\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/dedekind-reals/issues/19\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/dedekind-reals/pull/19/hovercard\" href=\"https://github.com/coq-community/dedekind-reals/pull/19\">#19</a> from coq-community/ci-boilerpolate"}},{"before":"7124fec4a1fbaf5abec2af35cb1f1ca5efe5cb09","after":"a1f9f28bb09e616f0559c62b444db1dc1d78756d","ref":"refs/heads/ci-boilerpolate","pushedAt":"2024-06-13T14:43:03.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"add meta.yml and generate README.md, opam file and CI configuration","shortMessageHtmlLink":"add meta.yml and generate README.md, opam file and CI configuration"}},{"before":"070c5c8586a41d78fc93f55dea80d3ac9d8fc057","after":"7124fec4a1fbaf5abec2af35cb1f1ca5efe5cb09","ref":"refs/heads/ci-boilerpolate","pushedAt":"2024-06-13T14:15:20.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"add meta.yml and generate README.md, opam file and CI configuration","shortMessageHtmlLink":"add meta.yml and generate README.md, opam file and CI configuration"}},{"before":"7297011dcbe95c16dc7936cc08b55ff4e2e8b030","after":"16c1c4843998653e745ce4faad0b7f00a6e36af2","ref":"refs/heads/master","pushedAt":"2024-06-13T14:14:30.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"Merge pull request #18 from peterlefanulumsdaine/update-gitignore\n\nUpdated .gitignore to include new cache files","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2351200692\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/dedekind-reals/issues/18\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/dedekind-reals/pull/18/hovercard\" href=\"https://github.com/coq-community/dedekind-reals/pull/18\">#18</a> from peterlefanulumsdaine/update-gitignore"}},{"before":null,"after":"070c5c8586a41d78fc93f55dea80d3ac9d8fc057","ref":"refs/heads/ci-boilerpolate","pushedAt":"2024-06-13T14:13:27.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":"add meta.yml and generate README.md, opam file and CI configuration","shortMessageHtmlLink":"add meta.yml and generate README.md, opam file and CI configuration"}},{"before":"c2257bbdb8c58a3c525b5b6aa0383a1d8c1de07c","after":"7297011dcbe95c16dc7936cc08b55ff4e2e8b030","ref":"refs/heads/master","pushedAt":"2024-06-12T14:56:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"andrejbauer","name":"Andrej Bauer","path":"/andrejbauer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/646599?s=80&v=4"},"commit":{"message":"Update to latest version of Coq, add MIT licence.","shortMessageHtmlLink":"Update to latest version of Coq, add MIT licence."}},{"before":"662d194291e181d50b623f47e49782353aba9baf","after":"c2257bbdb8c58a3c525b5b6aa0383a1d8c1de07c","ref":"refs/heads/master","pushedAt":"2023-12-20T07:59:41.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"andrejbauer","name":"Andrej Bauer","path":"/andrejbauer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/646599?s=80&v=4"},"commit":{"message":"Merge pull request #17 from palmskog/fix-build\n\ncompatibility with Coq 8.11 to 8.13","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1090748769\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/dedekind-reals/issues/17\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/dedekind-reals/pull/17/hovercard\" href=\"https://github.com/coq-community/dedekind-reals/pull/17\">#17</a> from palmskog/fix-build"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEZI5mxQA","startCursor":null,"endCursor":null}},"title":"Activity · coq-community/dedekind-reals"}