{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":404824675,"defaultBranch":"master","name":"copilot-verifier","ownerLogin":"Copilot-Language","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-09-09T18:11:42.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/12819929?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1725910196.0","currentOid":""},"activityList":{"items":[{"before":"1344d1b0451384e77fa5fabacb26c87b247aae9f","after":null,"ref":"refs/heads/T69-release-4.0","pushedAt":"2024-09-09T19:01:01.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"}},{"before":"a8114e2d259382190eb81aa42d6b31ff59329b09","after":"e366e4b24c07c28d4fbe97bd02dec79656922eb9","ref":"refs/heads/master","pushedAt":"2024-09-09T19:00:53.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"Document changes in the CHANGELOG. Refs #69.","shortMessageHtmlLink":"Document changes in the CHANGELOG. Refs #69."}},{"before":null,"after":"1344d1b0451384e77fa5fabacb26c87b247aae9f","ref":"refs/heads/T69-release-4.0","pushedAt":"2024-09-09T16:17:25.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"Document changes in the CHANGELOG. Refs #69.","shortMessageHtmlLink":"Document changes in the CHANGELOG. Refs #69."}},{"before":"a2eb9038041ac20fde7e9619495f66e495e26cdb","after":null,"ref":"refs/heads/T57-struct-updates","pushedAt":"2024-09-09T16:14:31.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"}},{"before":"bdae7f3cd7a999edf71f724c8b4612a129ee669e","after":"a8114e2d259382190eb81aa42d6b31ff59329b09","ref":"refs/heads/master","pushedAt":"2024-09-09T16:13:53.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"Document changes in the CHANGELOG. Refs #57.","shortMessageHtmlLink":"Document changes in the CHANGELOG. Refs #57."}},{"before":"6cffd3c69ffc4d6b54df303cb588d38bba1fdff2","after":"a2eb9038041ac20fde7e9619495f66e495e26cdb","ref":"refs/heads/T57-struct-updates","pushedAt":"2024-09-09T15:34:37.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"Document changes in the CHANGELOG. Refs #57.","shortMessageHtmlLink":"Document changes in the CHANGELOG. Refs #57."}},{"before":null,"after":"6cffd3c69ffc4d6b54df303cb588d38bba1fdff2","ref":"refs/heads/T57-struct-updates","pushedAt":"2024-09-09T15:33:56.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"Document changes in the CHANGELOG. Refs #57.","shortMessageHtmlLink":"Document changes in the CHANGELOG. Refs #57."}},{"before":"67816036cb71dc647a92813a99b85b1ef5bddf37","after":null,"ref":"refs/heads/T63-array-updates","pushedAt":"2024-09-09T15:23:11.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"}},{"before":"e6e0cf9d51e79f0c0466e16003b6ab3d2ac8f4cc","after":"bdae7f3cd7a999edf71f724c8b4612a129ee669e","ref":"refs/heads/master","pushedAt":"2024-09-09T15:23:07.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"Document changes in the CHANGELOG. Refs #63.","shortMessageHtmlLink":"Document changes in the CHANGELOG. Refs #63."}},{"before":null,"after":"67816036cb71dc647a92813a99b85b1ef5bddf37","ref":"refs/heads/T63-array-updates","pushedAt":"2024-09-09T15:11:41.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"Document changes in the CHANGELOG. Refs #63.","shortMessageHtmlLink":"Document changes in the CHANGELOG. Refs #63."}},{"before":"7b47a6c19bd77053dbb07be4e7ed797a694d1b0d","after":null,"ref":"refs/heads/T64-65-upgrade-crux-and-ghc-versions","pushedAt":"2024-09-03T16:52:58.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"}},{"before":"c753c5194a3ba4309c8f50ede2bd194f081f2d8d","after":"e6e0cf9d51e79f0c0466e16003b6ab3d2ac8f4cc","ref":"refs/heads/master","pushedAt":"2024-09-03T16:52:56.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"Document changes in CHANGELOG. Refs #65.","shortMessageHtmlLink":"Document changes in CHANGELOG. Refs #65."}},{"before":"f7414623d81867826645f21e703cb9a3610a74e3","after":"7b47a6c19bd77053dbb07be4e7ed797a694d1b0d","ref":"refs/heads/T64-65-upgrade-crux-and-ghc-versions","pushedAt":"2024-09-03T15:51:52.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"Document changes in CHANGELOG. Refs #65.","shortMessageHtmlLink":"Document changes in CHANGELOG. Refs #65."}},{"before":null,"after":"f7414623d81867826645f21e703cb9a3610a74e3","ref":"refs/heads/T64-65-upgrade-crux-and-ghc-versions","pushedAt":"2024-09-03T15:15:48.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"Document changes in CHANGELOG. Refs #65.","shortMessageHtmlLink":"Document changes in CHANGELOG. Refs #65."}},{"before":"c9e8e6417c107a53525a85dd92ae82f93deb981b","after":null,"ref":"refs/heads/T51-trivial-goals","pushedAt":"2024-07-30T19:27:45.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"}},{"before":"fa579938226212c217e2607281727cb3d8263541","after":"c753c5194a3ba4309c8f50ede2bd194f081f2d8d","ref":"refs/heads/master","pushedAt":"2024-07-30T19:27:42.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"Document changes in CHANGELOG. Refs #51.","shortMessageHtmlLink":"Document changes in CHANGELOG. Refs #51."}},{"before":null,"after":"c9e8e6417c107a53525a85dd92ae82f93deb981b","ref":"refs/heads/T51-trivial-goals","pushedAt":"2024-07-30T17:51:48.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"Document changes in CHANGELOG. Refs #51.","shortMessageHtmlLink":"Document changes in CHANGELOG. Refs #51."}},{"before":"37915f09901387972b3ab6f2caec1d2362032c61","after":null,"ref":"refs/heads/T52-pre-or-post-state","pushedAt":"2024-07-19T13:06:32.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"}},{"before":"fee827d7334139f1c0c0257118a56cda695de023","after":"fa579938226212c217e2607281727cb3d8263541","ref":"refs/heads/master","pushedAt":"2024-07-19T13:06:29.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"Document changes in CHANGELOG. Refs #52.","shortMessageHtmlLink":"Document changes in CHANGELOG. Refs #52."}},{"before":null,"after":"37915f09901387972b3ab6f2caec1d2362032c61","ref":"refs/heads/T52-pre-or-post-state","pushedAt":"2024-07-18T15:47:43.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"Document changes in CHANGELOG. Refs #52.","shortMessageHtmlLink":"Document changes in CHANGELOG. Refs #52."}},{"before":"a6029244fe14b2f670b92ab6471e9c8854e58b97","after":null,"ref":"refs/heads/T58-version-3.20","pushedAt":"2024-07-11T18:25:09.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"}},{"before":"2095612069d5ea6088218fdb6a62e4e3d7888ddc","after":"fee827d7334139f1c0c0257118a56cda695de023","ref":"refs/heads/master","pushedAt":"2024-07-11T18:25:06.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"Document changes in CHANGELOG. Refs #58.","shortMessageHtmlLink":"Document changes in CHANGELOG. Refs #58."}},{"before":"568e7e4d4b03999a6c1745a3a5f4822dbe2550f8","after":"a6029244fe14b2f670b92ab6471e9c8854e58b97","ref":"refs/heads/T58-version-3.20","pushedAt":"2024-07-11T17:54:26.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"Document changes in CHANGELOG. Refs #58.","shortMessageHtmlLink":"Document changes in CHANGELOG. Refs #58."}},{"before":null,"after":"568e7e4d4b03999a6c1745a3a5f4822dbe2550f8","ref":"refs/heads/T58-version-3.20","pushedAt":"2024-07-11T17:53:47.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"Document changes in CHANGELOG. Refs #58.","shortMessageHtmlLink":"Document changes in CHANGELOG. Refs #58."}},{"before":"1bbe28f41526a924424120b19ca50dcb36293fa3","after":null,"ref":"refs/heads/remove-redundant-build-depends","pushedAt":"2024-07-11T17:35:27.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"}},{"before":"5d020096542280ac3177e384f6abcf0d6c30cf9b","after":"2095612069d5ea6088218fdb6a62e4e3d7888ddc","ref":"refs/heads/master","pushedAt":"2024-07-11T17:35:24.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"Remove redundant `build-depends` packages\n\n`copilot-verifier.cabal` incurs some Copilot-related package dependencies that\nit does not actually use. Let's remove them.\n\nWhen necessary, this patch moves these dependencies to the `build-depends`\nstanza of the `copilot-verifier-examples` sublibrary (which depends on more\nparts of Copilot than the main `copilot-verifier` library does).","shortMessageHtmlLink":"Remove redundant build-depends packages"}},{"before":null,"after":"1bbe28f41526a924424120b19ca50dcb36293fa3","ref":"refs/heads/remove-redundant-build-depends","pushedAt":"2024-07-11T16:53:55.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"Remove redundant `build-depends` packages\n\n`copilot-verifier.cabal` incurs some Copilot-related package dependencies that\nit does not actually use. Let's remove them.\n\nWhen necessary, this patch moves these dependencies to the `build-depends`\nstanza of the `copilot-verifier-examples` sublibrary (which depends on more\nparts of Copilot than the main `copilot-verifier` library does).","shortMessageHtmlLink":"Remove redundant build-depends packages"}},{"before":"848a299318bedfdaf5b092bf15d3311b98ee9ddd","after":null,"ref":"refs/heads/fix-demo3-warnings","pushedAt":"2024-05-17T20:02:53.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"}},{"before":"ccdf05a23d48f902d1ed69a78d8432128d7f962f","after":"5d020096542280ac3177e384f6abcf0d6c30cf9b","ref":"refs/heads/master","pushedAt":"2024-05-17T20:02:50.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"copilot-verifier-demo: Fix warnings in Demo2","shortMessageHtmlLink":"copilot-verifier-demo: Fix warnings in Demo2"}},{"before":"2804056ce44443b47b506aa4c3941c708e56db4f","after":"848a299318bedfdaf5b092bf15d3311b98ee9ddd","ref":"refs/heads/fix-demo3-warnings","pushedAt":"2024-05-17T19:23:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"copilot-verifier-demo: Fix warnings in Demo2","shortMessageHtmlLink":"copilot-verifier-demo: Fix warnings in Demo2"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0wOVQxOTowMTowMS4wMDAwMDBazwAAAASxQn7Q","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0wOVQxOTowMTowMS4wMDAwMDBazwAAAASxQn7Q","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNS0xN1QxOToyMzo0OS4wMDAwMDBazwAAAARNO5sT"}},"title":"Activity ยท Copilot-Language/copilot-verifier"}