{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":330586134,"defaultBranch":"main","name":"autoproof","ownerLogin":"artemmavrin","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-01-18T07:23:01.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/12015989?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1689160124.0","currentOid":""},"activityList":{"items":[{"before":"0eaf1d8557a7be187c99667eb6938821c3a871d3","after":null,"ref":"refs/heads/dependabot/github_actions/JamesIves/github-pages-deploy-action-4.4.2","pushedAt":"2023-07-12T11:08:44.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"}},{"before":null,"after":"67ff9557e724383ab06876a8e0b0b966f4f65761","ref":"refs/heads/dependabot/github_actions/JamesIves/github-pages-deploy-action-4.4.3","pushedAt":"2023-07-12T11:08:38.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"Bump JamesIves/github-pages-deploy-action from 4.4.1 to 4.4.3\n\nBumps [JamesIves/github-pages-deploy-action](https://github.com/jamesives/github-pages-deploy-action) from 4.4.1 to 4.4.3.\n- [Release notes](https://github.com/jamesives/github-pages-deploy-action/releases)\n- [Commits](https://github.com/jamesives/github-pages-deploy-action/compare/v4.4.1...v4.4.3)\n\n---\nupdated-dependencies:\n- dependency-name: JamesIves/github-pages-deploy-action\n  dependency-type: direct:production\n  update-type: version-update:semver-patch\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump JamesIves/github-pages-deploy-action from 4.4.1 to 4.4.3"}},{"before":null,"after":"0eaf1d8557a7be187c99667eb6938821c3a871d3","ref":"refs/heads/dependabot/github_actions/JamesIves/github-pages-deploy-action-4.4.2","pushedAt":"2023-05-29T11:58:03.048Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"Bump JamesIves/github-pages-deploy-action from 4.4.1 to 4.4.2\n\nBumps [JamesIves/github-pages-deploy-action](https://github.com/JamesIves/github-pages-deploy-action) from 4.4.1 to 4.4.2.\n- [Release notes](https://github.com/JamesIves/github-pages-deploy-action/releases)\n- [Commits](https://github.com/JamesIves/github-pages-deploy-action/compare/v4.4.1...v4.4.2)\n\n---\nupdated-dependencies:\n- dependency-name: JamesIves/github-pages-deploy-action\n  dependency-type: direct:production\n  update-type: version-update:semver-patch\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump JamesIves/github-pages-deploy-action from 4.4.1 to 4.4.2"}},{"before":"38e7f5a1d7f9f5133884f603f1abd2208dc7b16f","after":null,"ref":"refs/heads/dependabot/github_actions/codecov/codecov-action-3.1.4","pushedAt":"2023-05-23T20:50:58.580Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"}},{"before":"4602927befbdc3c36c9603a14e510b7937aedafc","after":"038e249a5ec310c3eef84e9b8d898776929c10b8","ref":"refs/heads/main","pushedAt":"2023-05-23T20:50:49.844Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"artemmavrin","name":"Artem Mavrin","path":"/artemmavrin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12015989?s=80&v=4"},"commit":{"message":"Bump codecov/codecov-action from 3.1.2 to 3.1.4\n\nBumps [codecov/codecov-action](https://github.com/codecov/codecov-action) from 3.1.2 to 3.1.4.\n- [Release notes](https://github.com/codecov/codecov-action/releases)\n- [Changelog](https://github.com/codecov/codecov-action/blob/main/CHANGELOG.md)\n- [Commits](https://github.com/codecov/codecov-action/compare/v3.1.2...v3.1.4)\n\n---\nupdated-dependencies:\n- dependency-name: codecov/codecov-action\n  dependency-type: direct:production\n  update-type: version-update:semver-patch\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump codecov/codecov-action from 3.1.2 to 3.1.4"}},{"before":"ff5782d9c6b1651bdff3a9275730bc474e27f4b5","after":null,"ref":"refs/heads/dependabot/github_actions/codecov/codecov-action-3.1.3","pushedAt":"2023-05-16T11:57:44.687Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"}},{"before":null,"after":"38e7f5a1d7f9f5133884f603f1abd2208dc7b16f","ref":"refs/heads/dependabot/github_actions/codecov/codecov-action-3.1.4","pushedAt":"2023-05-16T11:57:39.201Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"Bump codecov/codecov-action from 3.1.2 to 3.1.4\n\nBumps [codecov/codecov-action](https://github.com/codecov/codecov-action) from 3.1.2 to 3.1.4.\n- [Release notes](https://github.com/codecov/codecov-action/releases)\n- [Changelog](https://github.com/codecov/codecov-action/blob/main/CHANGELOG.md)\n- [Commits](https://github.com/codecov/codecov-action/compare/v3.1.2...v3.1.4)\n\n---\nupdated-dependencies:\n- dependency-name: codecov/codecov-action\n  dependency-type: direct:production\n  update-type: version-update:semver-patch\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump codecov/codecov-action from 3.1.2 to 3.1.4"}},{"before":null,"after":"ff5782d9c6b1651bdff3a9275730bc474e27f4b5","ref":"refs/heads/dependabot/github_actions/codecov/codecov-action-3.1.3","pushedAt":"2023-04-21T11:57:46.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"Bump codecov/codecov-action from 3.1.2 to 3.1.3\n\nBumps [codecov/codecov-action](https://github.com/codecov/codecov-action) from 3.1.2 to 3.1.3.\n- [Release notes](https://github.com/codecov/codecov-action/releases)\n- [Changelog](https://github.com/codecov/codecov-action/blob/main/CHANGELOG.md)\n- [Commits](https://github.com/codecov/codecov-action/compare/v3.1.2...v3.1.3)\n\n---\nupdated-dependencies:\n- dependency-name: codecov/codecov-action\n  dependency-type: direct:production\n  update-type: version-update:semver-patch\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump codecov/codecov-action from 3.1.2 to 3.1.3"}},{"before":"7b4456aac33ad9670f1e5a80a865e8270d13e424","after":"666281582fc468836fdb960190ee4b1802dcf6a7","ref":"refs/heads/gh-pages","pushedAt":"2023-04-12T16:46:40.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 @ artemmavrin/autoproof@a76280d33dbd9ed3ee8cb1c08e886d61aef0b001 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/artemmavrin/autoproof/commit/a76280d33dbd9ed3ee8cb1c08e886d61aef0b001/hovercard\" href=\"https://github.com/artemmavrin/autoproof/commit/a76280d33dbd9ed3ee8cb1c08e886d61aef0b001\"><tt>a76280d</tt></a> 🚀"}},{"before":"c74632b1d2fec9ef50fcfc19b472803993cbe95c","after":null,"ref":"refs/heads/dependabot/github_actions/codecov/codecov-action-3.1.2","pushedAt":"2023-04-12T16:43:03.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"}},{"before":"e048a66c814deecfa665a9e2ea762611e0156d0b","after":null,"ref":"refs/heads/dependabot/github_actions/JamesIves/github-pages-deploy-action-4.4.1","pushedAt":"2023-04-12T16:42:56.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"}},{"before":"8b73617a80caa1bdbad9f510daf36b32a4bfda24","after":"4602927befbdc3c36c9603a14e510b7937aedafc","ref":"refs/heads/main","pushedAt":"2023-04-12T16:42:55.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"artemmavrin","name":"Artem Mavrin","path":"/artemmavrin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12015989?s=80&v=4"},"commit":{"message":"Bump codecov/codecov-action from 2.1.0 to 3.1.2\n\nBumps [codecov/codecov-action](https://github.com/codecov/codecov-action) from 2.1.0 to 3.1.2.\n- [Release notes](https://github.com/codecov/codecov-action/releases)\n- [Changelog](https://github.com/codecov/codecov-action/blob/main/CHANGELOG.md)\n- [Commits](https://github.com/codecov/codecov-action/compare/v2.1.0...v3.1.2)\n\n---\nupdated-dependencies:\n- dependency-name: codecov/codecov-action\n  dependency-type: direct:production\n  update-type: version-update:semver-major\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump codecov/codecov-action from 2.1.0 to 3.1.2"}},{"before":"a76280d33dbd9ed3ee8cb1c08e886d61aef0b001","after":"8b73617a80caa1bdbad9f510daf36b32a4bfda24","ref":"refs/heads/main","pushedAt":"2023-04-12T16:42:48.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"artemmavrin","name":"Artem Mavrin","path":"/artemmavrin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12015989?s=80&v=4"},"commit":{"message":"Bump JamesIves/github-pages-deploy-action from 4.2.5 to 4.4.1\n\nBumps [JamesIves/github-pages-deploy-action](https://github.com/JamesIves/github-pages-deploy-action) from 4.2.5 to 4.4.1.\n- [Release notes](https://github.com/JamesIves/github-pages-deploy-action/releases)\n- [Commits](https://github.com/JamesIves/github-pages-deploy-action/compare/v4.2.5...v4.4.1)\n\n---\nupdated-dependencies:\n- dependency-name: JamesIves/github-pages-deploy-action\n  dependency-type: direct:production\n  update-type: version-update:semver-minor\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump JamesIves/github-pages-deploy-action from 4.2.5 to 4.4.1"}},{"before":"aa47b9f2b2fb421eb660fa61788b904c727e9125","after":null,"ref":"refs/heads/dependabot/github_actions/haskell/actions-2","pushedAt":"2023-04-12T16:42:46.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"}},{"before":"1f6a24614c8432893c50bba7797dc09ec7fbe2df","after":"a76280d33dbd9ed3ee8cb1c08e886d61aef0b001","ref":"refs/heads/main","pushedAt":"2023-04-12T16:42:39.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"artemmavrin","name":"Artem Mavrin","path":"/artemmavrin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12015989?s=80&v=4"},"commit":{"message":"Bump haskell/actions from 1 to 2\n\nBumps [haskell/actions](https://github.com/haskell/actions) from 1 to 2.\n- [Release notes](https://github.com/haskell/actions/releases)\n- [Commits](https://github.com/haskell/actions/compare/v1...v2)\n\n---\nupdated-dependencies:\n- dependency-name: haskell/actions\n  dependency-type: direct:production\n  update-type: version-update:semver-major\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump haskell/actions from 1 to 2"}},{"before":"6e74dee6862edc604e567a1c4b4771db788abc39","after":null,"ref":"refs/heads/dependabot/github_actions/codecov/codecov-action-3.1.1","pushedAt":"2023-04-12T11:58:40.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"}},{"before":null,"after":"c74632b1d2fec9ef50fcfc19b472803993cbe95c","ref":"refs/heads/dependabot/github_actions/codecov/codecov-action-3.1.2","pushedAt":"2023-04-12T11:58:35.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"Bump codecov/codecov-action from 2.1.0 to 3.1.2\n\nBumps [codecov/codecov-action](https://github.com/codecov/codecov-action) from 2.1.0 to 3.1.2.\n- [Release notes](https://github.com/codecov/codecov-action/releases)\n- [Changelog](https://github.com/codecov/codecov-action/blob/main/CHANGELOG.md)\n- [Commits](https://github.com/codecov/codecov-action/compare/v2.1.0...v3.1.2)\n\n---\nupdated-dependencies:\n- dependency-name: codecov/codecov-action\n  dependency-type: direct:production\n  update-type: version-update:semver-major\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump codecov/codecov-action from 2.1.0 to 3.1.2"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyMy0wNy0xMlQxMTowODo0NC4wMDAwMDBazwAAAANT6eu_","startCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wNy0xMlQxMTowODo0NC4wMDAwMDBazwAAAANT6eu_","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wNC0xMlQxMTo1ODozNS4wMDAwMDBazwAAAAMXGo04"}},"title":"Activity · artemmavrin/autoproof"}