{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":40411471,"defaultBranch":"master","name":"agda","ownerLogin":"agda","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2015-08-08T17:51:48.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/410000?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1715006093.0","currentOid":""},"activityList":{"items":[{"before":"5434d032cebaeb76ed63d4406405a820120eef79","after":null,"ref":"refs/tags/nightly","pushedAt":"2024-05-06T14:34:49.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"}},{"before":"72c0fba1f9e95a487cef91264069c932ada93e7a","after":"8257ce14eab63a6be2998c07aff0819f3d580bcf","ref":"refs/heads/gh-pages","pushedAt":"2024-05-06T13:37:02.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: 0ff0741244252b46a183b7d5d4f526b7fe8c25f7","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/agda/agda/commit/0ff0741244252b46a183b7d5d4f526b7fe8c25f7/hovercard\" href=\"https://github.com/agda/agda/commit/0ff0741244252b46a183b7d5d4f526b7fe8c25f7\"><tt>0ff0741</tt></a>"}},{"before":"5434d032cebaeb76ed63d4406405a820120eef79","after":"0ff0741244252b46a183b7d5d4f526b7fe8c25f7","ref":"refs/heads/master","pushedAt":"2024-05-06T13:31:16.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"andreasabel","name":"Andreas Abel","path":"/andreasabel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1155218?s=80&v=4"},"commit":{"message":"Follow hlint suggestion: redundant section\n\nRemoving the *.CompiledClause.Match module redundant section exposed one more redundant bracket. Rather than have that count increase, I removed the redundant bracket too.","shortMessageHtmlLink":"Follow hlint suggestion: redundant section"}},{"before":"1b05d6c8c0e37b7ea1b6722aede7ba86a76d9ea7","after":"2dd6fe5cf62cafdb4a501aeaa6e34ba7b4125754","ref":"refs/heads/issue7058","pushedAt":"2024-05-05T22:17:50.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"AndrasKovacs","name":"András Kovács","path":"/AndrasKovacs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1883862?s=80&v=4"},"commit":{"message":"Overhaul dead-code elim, make --save-metas the default\n\n- Fix #7058\n- Make --save-metas the default","shortMessageHtmlLink":"Overhaul dead-code elim, make --save-metas the default"}},{"before":"4645ebf5e444b8ccbd5f9acd9ceaed654707340b","after":"1b05d6c8c0e37b7ea1b6722aede7ba86a76d9ea7","ref":"refs/heads/issue7058","pushedAt":"2024-05-05T21:29:22.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"AndrasKovacs","name":"András Kovács","path":"/AndrasKovacs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1883862?s=80&v=4"},"commit":{"message":"Overhaul dead-code elim, make --save-metas the default\n\n- Fix #7058\n- Make --save-metas the default","shortMessageHtmlLink":"Overhaul dead-code elim, make --save-metas the default"}},{"before":"2d918fbb4e751720604b6222a60beb09bf3c8662","after":"4645ebf5e444b8ccbd5f9acd9ceaed654707340b","ref":"refs/heads/issue7058","pushedAt":"2024-05-05T19:52:09.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"AndrasKovacs","name":"András Kovács","path":"/AndrasKovacs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1883862?s=80&v=4"},"commit":{"message":"Overhaul dead-code elim, make --save-metas the default\n\n- Fix #7058\n- Make --save-metas the default","shortMessageHtmlLink":"Overhaul dead-code elim, make --save-metas the default"}},{"before":"e4ee76f0fe898a41a66624e17a264afd688da5d6","after":"2d918fbb4e751720604b6222a60beb09bf3c8662","ref":"refs/heads/issue7058","pushedAt":"2024-05-05T19:39:05.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"AndrasKovacs","name":"András Kovács","path":"/AndrasKovacs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1883862?s=80&v=4"},"commit":{"message":"Overhaul dead-code elim, make --save-metas the default\n\n- Fix #7058\n- Make --save-metas the default","shortMessageHtmlLink":"Overhaul dead-code elim, make --save-metas the default"}},{"before":"87264e77a5f1868c6912ee44d1beda9956e83e34","after":"e4ee76f0fe898a41a66624e17a264afd688da5d6","ref":"refs/heads/issue7058","pushedAt":"2024-05-05T18:48:12.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"AndrasKovacs","name":"András Kovács","path":"/AndrasKovacs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1883862?s=80&v=4"},"commit":{"message":"Revise --save-metas docs.","shortMessageHtmlLink":"Revise --save-metas docs."}},{"before":"185d9d4761db0c5a261fd449fbfef04bf9319377","after":null,"ref":"refs/tags/nightly","pushedAt":"2024-05-03T12:55:12.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"}},{"before":"a7a80cbbf21173d1af012854bcf18656c22fc598","after":"72c0fba1f9e95a487cef91264069c932ada93e7a","ref":"refs/heads/gh-pages","pushedAt":"2024-05-03T11:53:40.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: 5434d032cebaeb76ed63d4406405a820120eef79","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/agda/agda/commit/5434d032cebaeb76ed63d4406405a820120eef79/hovercard\" href=\"https://github.com/agda/agda/commit/5434d032cebaeb76ed63d4406405a820120eef79\"><tt>5434d03</tt></a>"}},{"before":"185d9d4761db0c5a261fd449fbfef04bf9319377","after":"5434d032cebaeb76ed63d4406405a820120eef79","ref":"refs/heads/master","pushedAt":"2024-05-03T11:50:22.000Z","pushType":"push","commitsCount":6,"pusher":{"login":"andreasabel","name":"Andreas Abel","path":"/andreasabel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1155218?s=80&v=4"},"commit":{"message":"[ comment ] fix typo","shortMessageHtmlLink":"[ comment ] fix typo"}},{"before":"0d1bc3a425ab03d5176bf96d3805908afd7d03bf","after":"5434d032cebaeb76ed63d4406405a820120eef79","ref":"refs/heads/funflags","pushedAt":"2024-05-03T10:02:58.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"andreasabel","name":"Andreas Abel","path":"/andreasabel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1155218?s=80&v=4"},"commit":{"message":"[ comment ] fix typo","shortMessageHtmlLink":"[ comment ] fix typo"}},{"before":"588c2c6f829c89df94b99ec3bbe0222dfa12bd10","after":"0d1bc3a425ab03d5176bf96d3805908afd7d03bf","ref":"refs/heads/funflags","pushedAt":"2024-05-03T08:37:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"andreasabel","name":"Andreas Abel","path":"/andreasabel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1155218?s=80&v=4"},"commit":{"message":"Refactor: make funErasure a FunctionFlag","shortMessageHtmlLink":"Refactor: make funErasure a FunctionFlag"}},{"before":"c24d1e505eb22425b3294f6727ed2921561cbda9","after":"588c2c6f829c89df94b99ec3bbe0222dfa12bd10","ref":"refs/heads/funflags","pushedAt":"2024-05-03T07:31:53.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"andreasabel","name":"Andreas Abel","path":"/andreasabel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1155218?s=80&v=4"},"commit":{"message":"Refactor (re #6640): make funFirstOrder field a FunctionFlag","shortMessageHtmlLink":"Refactor (re <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1710435666\" data-permission-text=\"Title is private\" data-url=\"https://github.com/agda/agda/issues/6640\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/agda/agda/pull/6640/hovercard\" href=\"https://github.com/agda/agda/pull/6640\">#6640</a>): make funFirstOrder field a FunctionFlag"}},{"before":"67d3b272f65491dc4076bd482e9d298a50bc8c21","after":null,"ref":"refs/tags/nightly","pushedAt":"2024-05-02T21:45:25.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"}},{"before":null,"after":"c24d1e505eb22425b3294f6727ed2921561cbda9","ref":"refs/heads/funflags","pushedAt":"2024-05-02T21:25:20.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"andreasabel","name":"Andreas Abel","path":"/andreasabel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1155218?s=80&v=4"},"commit":{"message":"[ refactor ] use SmallSet for funFlags","shortMessageHtmlLink":"[ refactor ] use SmallSet for funFlags"}},{"before":"a3289f91f5fca5a93ce2d488c2dd869fad6ce591","after":"a7a80cbbf21173d1af012854bcf18656c22fc598","ref":"refs/heads/gh-pages","pushedAt":"2024-05-02T20:43:10.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: 185d9d4761db0c5a261fd449fbfef04bf9319377","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/agda/agda/commit/185d9d4761db0c5a261fd449fbfef04bf9319377/hovercard\" href=\"https://github.com/agda/agda/commit/185d9d4761db0c5a261fd449fbfef04bf9319377\"><tt>185d9d4</tt></a>"}},{"before":"18748963b7fad03bc2ae01fa788d29f08ecebb31","after":null,"ref":"refs/heads/ghc-9.10.0","pushedAt":"2024-05-02T20:40:04.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"andreasabel","name":"Andreas Abel","path":"/andreasabel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1155218?s=80&v=4"}},{"before":"67d3b272f65491dc4076bd482e9d298a50bc8c21","after":"185d9d4761db0c5a261fd449fbfef04bf9319377","ref":"refs/heads/master","pushedAt":"2024-05-02T20:40:02.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"andreasabel","name":"Andreas Abel","path":"/andreasabel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1155218?s=80&v=4"},"commit":{"message":"Build with GHC 9.10","shortMessageHtmlLink":"Build with GHC 9.10"}},{"before":"15342bf64d66bb075efb5f0d84c6e668b923fc29","after":null,"ref":"refs/tags/nightly","pushedAt":"2024-05-02T18:59:56.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"}},{"before":"702cd7230fea0f70ca6696adfa7a6c35bf7cd32f","after":"a3289f91f5fca5a93ce2d488c2dd869fad6ce591","ref":"refs/heads/gh-pages","pushedAt":"2024-05-02T18:03:31.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: 67d3b272f65491dc4076bd482e9d298a50bc8c21","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/agda/agda/commit/67d3b272f65491dc4076bd482e9d298a50bc8c21/hovercard\" href=\"https://github.com/agda/agda/commit/67d3b272f65491dc4076bd482e9d298a50bc8c21\"><tt>67d3b27</tt></a>"}},{"before":"b50f4ee6d26907d58f7d05af462b0dfe78e1e48d","after":null,"ref":"refs/heads/aliao/issue-7218","pushedAt":"2024-05-02T18:00:28.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"plt-amy","name":"Amélia","path":"/plt-amy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29957583?s=80&v=4"}},{"before":"15342bf64d66bb075efb5f0d84c6e668b923fc29","after":"67d3b272f65491dc4076bd482e9d298a50bc8c21","ref":"refs/heads/master","pushedAt":"2024-05-02T18:00:23.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"plt-amy","name":"Amélia","path":"/plt-amy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29957583?s=80&v=4"},"commit":{"message":"re. #7218: Saturate opaque blocks after Give commands (#7243)\n\n* re. 7218: Saturate opaque blocks after Give commands\r\n\r\n* test for 7218","shortMessageHtmlLink":"re. <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2227498258\" data-permission-text=\"Title is private\" data-url=\"https://github.com/agda/agda/issues/7218\" data-hovercard-type=\"issue\" data-hovercard-url=\"/agda/agda/issues/7218/hovercard\" href=\"https://github.com/agda/agda/issues/7218\">#7218</a>: Saturate opaque blocks after Give commands (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2275946135\" data-permission-text=\"Title is private\" data-url=\"https://github.com/agda/agda/issues/7243\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/agda/agda/pull/7243/hovercard\" href=\"https://github.com/agda/agda/pull/7243\">#7243</a>)"}},{"before":"61c3d76258a3c8f88d50a8efd65607edb46d1be6","after":"18748963b7fad03bc2ae01fa788d29f08ecebb31","ref":"refs/heads/ghc-9.10.0","pushedAt":"2024-05-02T17:48:13.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"andreasabel","name":"Andreas Abel","path":"/andreasabel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1155218?s=80&v=4"},"commit":{"message":"Build with GHC 9.10","shortMessageHtmlLink":"Build with GHC 9.10"}},{"before":"3f4a6f95296bd0f4d9a5be6407841a1781d18451","after":"b50f4ee6d26907d58f7d05af462b0dfe78e1e48d","ref":"refs/heads/aliao/issue-7218","pushedAt":"2024-05-02T16:40:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"plt-amy","name":"Amélia","path":"/plt-amy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29957583?s=80&v=4"},"commit":{"message":"test for 7218","shortMessageHtmlLink":"test for 7218"}},{"before":null,"after":"3f4a6f95296bd0f4d9a5be6407841a1781d18451","ref":"refs/heads/aliao/issue-7218","pushedAt":"2024-05-02T16:20:19.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"plt-amy","name":"Amélia","path":"/plt-amy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29957583?s=80&v=4"},"commit":{"message":"re. 7218: Saturate opaque blocks after Give commands","shortMessageHtmlLink":"re. 7218: Saturate opaque blocks after Give commands"}},{"before":"02f1cb616653631f7dbad7f5f9a838662b911d24","after":"61c3d76258a3c8f88d50a8efd65607edb46d1be6","ref":"refs/heads/ghc-9.10.0","pushedAt":"2024-05-02T15:58:49.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"andreasabel","name":"Andreas Abel","path":"/andreasabel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1155218?s=80&v=4"},"commit":{"message":"Build with GHC 9.10","shortMessageHtmlLink":"Build with GHC 9.10"}},{"before":null,"after":"67feb58fe4b1a303b210381a0af19b6a4c99ed07","ref":"refs/heads/ghc-9.10","pushedAt":"2024-05-02T15:56:45.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"andreasabel","name":"Andreas Abel","path":"/andreasabel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1155218?s=80&v=4"},"commit":{"message":"WIP: GHC 9.10","shortMessageHtmlLink":"WIP: GHC 9.10"}},{"before":"7299d360d931ca3e97f130fef0f72a757ee830bd","after":"87264e77a5f1868c6912ee44d1beda9956e83e34","ref":"refs/heads/issue7058","pushedAt":"2024-05-02T15:37:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AndrasKovacs","name":"András Kovács","path":"/AndrasKovacs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1883862?s=80&v=4"},"commit":{"message":"regression tests","shortMessageHtmlLink":"regression tests"}},{"before":"cb5a1149d9746bcf99a8f2f6d5d70386b80aa0f6","after":"7299d360d931ca3e97f130fef0f72a757ee830bd","ref":"refs/heads/issue7058","pushedAt":"2024-05-02T13:40:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AndrasKovacs","name":"András Kovács","path":"/AndrasKovacs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1883862?s=80&v=4"},"commit":{"message":"More 7058 wip","shortMessageHtmlLink":"More 7058 wip"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEQqDNNQA","startCursor":null,"endCursor":null}},"title":"Activity · agda/agda"}