{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":516057252,"defaultBranch":"master","name":"agda-stdlib-meta","ownerLogin":"omelkonian","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-07-20T16:31:25.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/15123909?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1719238418.0","currentOid":""},"activityList":{"items":[{"before":null,"after":"ac10c5a655c9ada210b648e2e5610392c92b551f","ref":"refs/heads/stdlib-2.1-compat","pushedAt":"2024-06-24T14:13:38.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"WhatisRT","name":"Andre Knispel","path":"/WhatisRT","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/93242?s=80&v=4"},"commit":{"message":"Compatibility with stdlib 2.1","shortMessageHtmlLink":"Compatibility with stdlib 2.1"}},{"before":"42956ebfe0598c74c79b1ea7a5c19c023439a770","after":"5ef33024c13fa288a1ee03b05ebff0b71d420db3","ref":"refs/heads/gh-pages","pushedAt":"2024-05-31T13:34:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ omelkonian/agda-stdlib-meta@e834cf70c06fefc86db6e7a57f2d33ac1c15e29a 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/omelkonian/agda-stdlib-meta/commit/e834cf70c06fefc86db6e7a57f2d33ac1c15e29a/hovercard\" href=\"https://github.com/omelkonian/agda-stdlib-meta/commit/e834cf70c06fefc86db6e7a57f2d33ac1c15e29a\"><tt>e834cf7</tt></a> 🚀"}},{"before":"02f80fdf6b5f243f5b0a916fea6488c2275f69b9","after":"e834cf70c06fefc86db6e7a57f2d33ac1c15e29a","ref":"refs/heads/master","pushedAt":"2024-05-31T13:30:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"WhatisRT","name":"Andre Knispel","path":"/WhatisRT","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/93242?s=80&v=4"},"commit":{"message":"Upstream `ByEq` tactic","shortMessageHtmlLink":"Upstream <code>ByEq</code> tactic"}},{"before":"96813297ee75d2c606b254a1cb79615858b187fd","after":"02f80fdf6b5f243f5b0a916fea6488c2275f69b9","ref":"refs/heads/master","pushedAt":"2024-05-31T13:21:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"omelkonian","name":"Orestis Melkonian","path":"/omelkonian","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15123909?s=80&v=4"},"commit":{"message":"Bump stdlib from v2.0-rc1 to v2.0","shortMessageHtmlLink":"Bump stdlib from v2.0-rc1 to v2.0"}},{"before":"d36a6275b1f0d39df9a4c4fc105f7215a29a8c4e","after":"42956ebfe0598c74c79b1ea7a5c19c023439a770","ref":"refs/heads/gh-pages","pushedAt":"2024-03-26T19:22:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ omelkonian/agda-stdlib-meta@96813297ee75d2c606b254a1cb79615858b187fd 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/omelkonian/agda-stdlib-meta/commit/96813297ee75d2c606b254a1cb79615858b187fd/hovercard\" href=\"https://github.com/omelkonian/agda-stdlib-meta/commit/96813297ee75d2c606b254a1cb79615858b187fd\"><tt>9681329</tt></a> 🚀"}},{"before":"3c8850de5300b5ce9d54bb7d5f468ee41b769bf4","after":"96813297ee75d2c606b254a1cb79615858b187fd","ref":"refs/heads/master","pushedAt":"2024-03-26T19:21:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"omelkonian","name":"Orestis Melkonian","path":"/omelkonian","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15123909?s=80&v=4"},"commit":{"message":"CI: only run on meaningful changes","shortMessageHtmlLink":"CI: only run on meaningful changes"}},{"before":"2267a65bc3e8186a5688ce0da2cd7360de1140a7","after":"d36a6275b1f0d39df9a4c4fc105f7215a29a8c4e","ref":"refs/heads/gh-pages","pushedAt":"2024-03-26T19:16:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ omelkonian/agda-stdlib-meta@3c8850de5300b5ce9d54bb7d5f468ee41b769bf4 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/omelkonian/agda-stdlib-meta/commit/3c8850de5300b5ce9d54bb7d5f468ee41b769bf4/hovercard\" href=\"https://github.com/omelkonian/agda-stdlib-meta/commit/3c8850de5300b5ce9d54bb7d5f468ee41b769bf4\"><tt>3c8850d</tt></a> 🚀"}},{"before":"4eaf23d62029d2d15e5f2fc2c74fc251f94d7210","after":"3c8850de5300b5ce9d54bb7d5f468ee41b769bf4","ref":"refs/heads/master","pushedAt":"2024-03-26T19:15:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"omelkonian","name":"Orestis Melkonian","path":"/omelkonian","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15123909?s=80&v=4"},"commit":{"message":"Add MIT licence","shortMessageHtmlLink":"Add MIT licence"}},{"before":"7e4da10d95e5ab8ac0e51807cd4ce9bde5755aa7","after":"2267a65bc3e8186a5688ce0da2cd7360de1140a7","ref":"refs/heads/gh-pages","pushedAt":"2024-03-26T15:04:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ omelkonian/agda-stdlib-meta@4eaf23d62029d2d15e5f2fc2c74fc251f94d7210 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/omelkonian/agda-stdlib-meta/commit/4eaf23d62029d2d15e5f2fc2c74fc251f94d7210/hovercard\" href=\"https://github.com/omelkonian/agda-stdlib-meta/commit/4eaf23d62029d2d15e5f2fc2c74fc251f94d7210\"><tt>4eaf23d</tt></a> 🚀"}},{"before":"254a3bf22f5e42a571e83f82c33d0a1a3a0bf5e3","after":"4eaf23d62029d2d15e5f2fc2c74fc251f94d7210","ref":"refs/heads/master","pushedAt":"2024-03-26T15:00:56.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"omelkonian","name":"Orestis Melkonian","path":"/omelkonian","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15123909?s=80&v=4"},"commit":{"message":"Version bump from 2.0-rc1 to 2.0","shortMessageHtmlLink":"Version bump from 2.0-rc1 to 2.0"}},{"before":"d8485feb8382b662a207c92ef62f0b029a659fe0","after":"7e4da10d95e5ab8ac0e51807cd4ce9bde5755aa7","ref":"refs/heads/gh-pages","pushedAt":"2023-11-09T21:30:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ omelkonian/agda-stdlib-meta@254a3bf22f5e42a571e83f82c33d0a1a3a0bf5e3 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/omelkonian/agda-stdlib-meta/commit/254a3bf22f5e42a571e83f82c33d0a1a3a0bf5e3/hovercard\" href=\"https://github.com/omelkonian/agda-stdlib-meta/commit/254a3bf22f5e42a571e83f82c33d0a1a3a0bf5e3\"><tt>254a3bf</tt></a> 🚀"}},{"before":"e3f497b7cc406deed6a280f427387e501adb7e32","after":null,"ref":"refs/tags/v2.0-rc1","pushedAt":"2023-11-09T21:29:49.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"omelkonian","name":"Orestis Melkonian","path":"/omelkonian","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15123909?s=80&v=4"}},{"before":"213b8144dabce1ed163bfc0123e36a79f53f6e35","after":"254a3bf22f5e42a571e83f82c33d0a1a3a0bf5e3","ref":"refs/heads/master","pushedAt":"2023-11-09T21:29:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"omelkonian","name":"Orestis Melkonian","path":"/omelkonian","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15123909?s=80&v=4"},"commit":{"message":"Move lenses to omelkonian/agda-lenses (depending on stdlib-meta)","shortMessageHtmlLink":"Move lenses to omelkonian/agda-lenses (depending on stdlib-meta)"}},{"before":"f00cb051a465496f016bfdf9e57e94d8de00f825","after":"d8485feb8382b662a207c92ef62f0b029a659fe0","ref":"refs/heads/gh-pages","pushedAt":"2023-11-09T15:06:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ omelkonian/agda-stdlib-meta@213b8144dabce1ed163bfc0123e36a79f53f6e35 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/omelkonian/agda-stdlib-meta/commit/213b8144dabce1ed163bfc0123e36a79f53f6e35/hovercard\" href=\"https://github.com/omelkonian/agda-stdlib-meta/commit/213b8144dabce1ed163bfc0123e36a79f53f6e35\"><tt>213b814</tt></a> 🚀"}},{"before":"63297d38351973a59ee8910a0aed9e0ab7d82300","after":null,"ref":"refs/tags/v2.0-rc1","pushedAt":"2023-11-09T15:05:24.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"omelkonian","name":"Orestis Melkonian","path":"/omelkonian","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15123909?s=80&v=4"}},{"before":"96a220c8362a0c98afa7c78c574c78453932ddba","after":"213b8144dabce1ed163bfc0123e36a79f53f6e35","ref":"refs/heads/master","pushedAt":"2023-11-09T15:05:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"omelkonian","name":"Orestis Melkonian","path":"/omelkonian","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15123909?s=80&v=4"},"commit":{"message":"Rename .agda-lib file to be the same as repo","shortMessageHtmlLink":"Rename .agda-lib file to be the same as repo"}},{"before":"6a578b61749036b218d4260bbfc9680b827487a8","after":null,"ref":"refs/tags/v2.0-rc1","pushedAt":"2023-11-09T11:58:40.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"omelkonian","name":"Orestis Melkonian","path":"/omelkonian","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15123909?s=80&v=4"}},{"before":"ccf1b7db4126ff1a26fab838d92475db0237d8b4","after":"f00cb051a465496f016bfdf9e57e94d8de00f825","ref":"refs/heads/gh-pages","pushedAt":"2023-11-09T11:58:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ omelkonian/agda-stdlib-meta@96a220c8362a0c98afa7c78c574c78453932ddba 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/omelkonian/agda-stdlib-meta/commit/96a220c8362a0c98afa7c78c574c78453932ddba/hovercard\" href=\"https://github.com/omelkonian/agda-stdlib-meta/commit/96a220c8362a0c98afa7c78c574c78453932ddba\"><tt>96a220c</tt></a> 🚀"}},{"before":"fc5ab1157823151d8219e8e56bb19cc76a87b21d","after":"96a220c8362a0c98afa7c78c574c78453932ddba","ref":"refs/heads/master","pushedAt":"2023-11-09T11:56:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"omelkonian","name":"Orestis Melkonian","path":"/omelkonian","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15123909?s=80&v=4"},"commit":{"message":"Remove redundant -Wno flag","shortMessageHtmlLink":"Remove redundant -Wno flag"}},{"before":"0d634c148c88194cb18ded83fb6e47bc94ceffb0","after":"ccf1b7db4126ff1a26fab838d92475db0237d8b4","ref":"refs/heads/gh-pages","pushedAt":"2023-11-09T11:48:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ omelkonian/agda-stdlib-meta@fc5ab1157823151d8219e8e56bb19cc76a87b21d 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/omelkonian/agda-stdlib-meta/commit/fc5ab1157823151d8219e8e56bb19cc76a87b21d/hovercard\" href=\"https://github.com/omelkonian/agda-stdlib-meta/commit/fc5ab1157823151d8219e8e56bb19cc76a87b21d\"><tt>fc5ab11</tt></a> 🚀"}},{"before":"b19b7f94978b42fb74f3f55e2fc2786067847aeb","after":"fc5ab1157823151d8219e8e56bb19cc76a87b21d","ref":"refs/heads/master","pushedAt":"2023-11-09T11:46:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"omelkonian","name":"Orestis Melkonian","path":"/omelkonian","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15123909?s=80&v=4"},"commit":{"message":"Rename to agda-stdlib-meta","shortMessageHtmlLink":"Rename to agda-stdlib-meta"}},{"before":"45cce0d8bc6b43b5876db3095b9bc8497091d2bf","after":"0d634c148c88194cb18ded83fb6e47bc94ceffb0","ref":"refs/heads/gh-pages","pushedAt":"2023-11-08T18:00:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ omelkonian/stdlib-meta@b19b7f94978b42fb74f3f55e2fc2786067847aeb 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/omelkonian/agda-stdlib-meta/commit/b19b7f94978b42fb74f3f55e2fc2786067847aeb/hovercard\" href=\"https://github.com/omelkonian/agda-stdlib-meta/commit/b19b7f94978b42fb74f3f55e2fc2786067847aeb\"><tt>b19b7f9</tt></a> 🚀"}},{"before":"f77c93607e61e1ae24137831dab54560be6d26f3","after":"b19b7f94978b42fb74f3f55e2fc2786067847aeb","ref":"refs/heads/master","pushedAt":"2023-11-08T17:58:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"omelkonian","name":"Orestis Melkonian","path":"/omelkonian","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15123909?s=80&v=4"},"commit":{"message":"README: add v2.0-rc1 + explicitly mention agda-stdlib-classes","shortMessageHtmlLink":"README: add v2.0-rc1 + explicitly mention agda-stdlib-classes"}},{"before":"3fb4dd20940d50fd35413d8b961cccba1166ae20","after":"45cce0d8bc6b43b5876db3095b9bc8497091d2bf","ref":"refs/heads/gh-pages","pushedAt":"2023-11-08T17:52:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ omelkonian/stdlib-meta@f77c93607e61e1ae24137831dab54560be6d26f3 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/omelkonian/agda-stdlib-meta/commit/f77c93607e61e1ae24137831dab54560be6d26f3/hovercard\" href=\"https://github.com/omelkonian/agda-stdlib-meta/commit/f77c93607e61e1ae24137831dab54560be6d26f3\"><tt>f77c936</tt></a> 🚀"}},{"before":"d3d95b87d389f9bd2b98983bf10a3b29cd663ad0","after":null,"ref":"refs/tags/v2.0-rc1","pushedAt":"2023-11-08T17:51:11.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"omelkonian","name":"Orestis Melkonian","path":"/omelkonian","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15123909?s=80&v=4"}},{"before":"3c5dadf36c3ad2023e8045cfc98a5e2042b31f98","after":"f77c93607e61e1ae24137831dab54560be6d26f3","ref":"refs/heads/master","pushedAt":"2023-11-08T17:50:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"omelkonian","name":"Orestis Melkonian","path":"/omelkonian","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15123909?s=80&v=4"},"commit":{"message":"small tweak to make generated derive-DecEq type check faster","shortMessageHtmlLink":"small tweak to make generated derive-DecEq type check faster"}},{"before":"df38e5245fd74f82ea5117908a1dfbb392936119","after":"3fb4dd20940d50fd35413d8b961cccba1166ae20","ref":"refs/heads/gh-pages","pushedAt":"2023-11-08T17:34:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ omelkonian/stdlib-meta@3c5dadf36c3ad2023e8045cfc98a5e2042b31f98 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/omelkonian/agda-stdlib-meta/commit/3c5dadf36c3ad2023e8045cfc98a5e2042b31f98/hovercard\" href=\"https://github.com/omelkonian/agda-stdlib-meta/commit/3c5dadf36c3ad2023e8045cfc98a5e2042b31f98\"><tt>3c5dadf</tt></a> 🚀"}},{"before":"afad1a663be6f25186cc5f70a7f247dcc57334c2","after":null,"ref":"refs/heads/stdlib-2.0-compat","pushedAt":"2023-11-08T17:30:27.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"omelkonian","name":"Orestis Melkonian","path":"/omelkonian","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15123909?s=80&v=4"}},{"before":"fcb076ccc7d3ba5ed33a776cb6678c401cc22bc4","after":"3c5dadf36c3ad2023e8045cfc98a5e2042b31f98","ref":"refs/heads/master","pushedAt":"2023-11-08T17:30:19.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"omelkonian","name":"Orestis Melkonian","path":"/omelkonian","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15123909?s=80&v=4"},"commit":{"message":"CI: bump stdlib version to v2.0-rc1","shortMessageHtmlLink":"CI: bump stdlib version to v2.0-rc1"}},{"before":"918979f459e3648c97cb6d9a4f8fe409fcf524f6","after":"afad1a663be6f25186cc5f70a7f247dcc57334c2","ref":"refs/heads/stdlib-2.0-compat","pushedAt":"2023-11-08T17:18:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"omelkonian","name":"Orestis Melkonian","path":"/omelkonian","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15123909?s=80&v=4"},"commit":{"message":"CI: bump stdlib version to v2.0-rc1","shortMessageHtmlLink":"CI: bump stdlib version to v2.0-rc1"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEbZo9XQA","startCursor":null,"endCursor":null}},"title":"Activity · omelkonian/agda-stdlib-meta"}