{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":232886823,"defaultBranch":"master","name":"awesome-coq","ownerLogin":"coq-community","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-01-09T19:21:46.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/34452610?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1699467401.0","currentOid":""},"activityList":{"items":[{"before":"411665bffa817c4c0caf93a44cc1a5e77a14b128","after":"a882038bc1fa233422aa144b0ea9c05304eb994f","ref":"refs/heads/gh-pages","pushedAt":"2024-08-11T20:47:37.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 to GitHub pages","shortMessageHtmlLink":"Deploy to GitHub pages"}},{"before":"71fd5cfd28fac5b45c975eb68080695c3e520823","after":"7cb01b00ed69f4c8cf59a3486d143111f735cef7","ref":"refs/heads/master","pushedAt":"2024-08-11T20:47:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"add learn-x-in-y for Coq","shortMessageHtmlLink":"add learn-x-in-y for Coq"}},{"before":"9b877cd39f1d067b06c27dacbfdf6499c60fce73","after":"411665bffa817c4c0caf93a44cc1a5e77a14b128","ref":"refs/heads/gh-pages","pushedAt":"2024-07-28T15:19:57.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 to GitHub pages","shortMessageHtmlLink":"Deploy to GitHub pages"}},{"before":"3c01b281612bd036a6ef820c2803d2a828805062","after":"71fd5cfd28fac5b45c975eb68080695c3e520823","ref":"refs/heads/master","pushedAt":"2024-07-28T15:19:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"refresh CI and fix some link names","shortMessageHtmlLink":"refresh CI and fix some link names"}},{"before":"ba472f4df01ace8ed6669f3507a4bdcbb5e4f2d0","after":"9b877cd39f1d067b06c27dacbfdf6499c60fce73","ref":"refs/heads/gh-pages","pushedAt":"2024-07-22T17:39:26.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 to GitHub pages","shortMessageHtmlLink":"Deploy to GitHub pages"}},{"before":"cc86ace4331432ce6e403a3b2efbd908bc509ac5","after":"3c01b281612bd036a6ef820c2803d2a828805062","ref":"refs/heads/master","pushedAt":"2024-07-22T17:30:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"updated URL for coq-tricks","shortMessageHtmlLink":"updated URL for coq-tricks"}},{"before":"71fc2b8cb976e0e0a04e9a4962568670025dcced","after":"ba472f4df01ace8ed6669f3507a4bdcbb5e4f2d0","ref":"refs/heads/gh-pages","pushedAt":"2024-07-15T10:10:32.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 to GitHub pages","shortMessageHtmlLink":"Deploy to GitHub pages"}},{"before":"75c0e2dc288aca27dc46d42c53e6bdc8bab6ed10","after":"cc86ace4331432ce6e403a3b2efbd908bc509ac5","ref":"refs/heads/master","pushedAt":"2024-07-15T10:10:18.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"Merge pull request #44 from robbertkrebbers/patch-1\n\nAdd Program Verification course at Radboud University Nijmegen","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2408292533\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/awesome-coq/issues/44\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/awesome-coq/pull/44/hovercard\" href=\"https://github.com/coq-community/awesome-coq/pull/44\">#44</a> from robbertkrebbers/patch-1"}},{"before":"388304854c6cd4ecd33cd3cb280372de77e90885","after":"71fc2b8cb976e0e0a04e9a4962568670025dcced","ref":"refs/heads/gh-pages","pushedAt":"2024-06-30T15:45:03.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 to GitHub pages","shortMessageHtmlLink":"Deploy to GitHub pages"}},{"before":"c4b6a7d9c84a97b27abd71f8663f9304e926cb18","after":"75c0e2dc288aca27dc46d42c53e6bdc8bab6ed10","ref":"refs/heads/master","pushedAt":"2024-06-30T15:44:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"fix url and order","shortMessageHtmlLink":"fix url and order"}},{"before":"5453d8db36a1c187c71b59021eee7b539c12376a","after":"388304854c6cd4ecd33cd3cb280372de77e90885","ref":"refs/heads/gh-pages","pushedAt":"2024-06-26T20:25: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 to GitHub pages","shortMessageHtmlLink":"Deploy to GitHub pages"}},{"before":"6e6e18c07227457ccd1f634cb0105a86d379de82","after":"c4b6a7d9c84a97b27abd71f8663f9304e926cb18","ref":"refs/heads/master","pushedAt":"2024-06-26T20:25:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"add tactic guide","shortMessageHtmlLink":"add tactic guide"}},{"before":"12b2e70a3080c0f3e3f59711ec176779ab752632","after":"5453d8db36a1c187c71b59021eee7b539c12376a","ref":"refs/heads/gh-pages","pushedAt":"2024-06-20T19:48:39.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 to GitHub pages","shortMessageHtmlLink":"Deploy to GitHub pages"}},{"before":"9a447adfa54ba2a96b62b9daf8a73bbe39460216","after":"6e6e18c07227457ccd1f634cb0105a86d379de82","ref":"refs/heads/master","pushedAt":"2024-06-20T19:48:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"fix CI and dead link","shortMessageHtmlLink":"fix CI and dead link"}},{"before":"0b0ecd08b9778f0ed9d6b4032001fadcc536a672","after":"12b2e70a3080c0f3e3f59711ec176779ab752632","ref":"refs/heads/gh-pages","pushedAt":"2024-05-05T08:35: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 to GitHub pages","shortMessageHtmlLink":"Deploy to GitHub pages"}},{"before":"b74e23242ea44bbfc40fdb4ad32447efaab1b945","after":"9a447adfa54ba2a96b62b9daf8a73bbe39460216","ref":"refs/heads/master","pushedAt":"2024-05-05T08:34:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"add karate-coq","shortMessageHtmlLink":"add karate-coq"}},{"before":"bd0ccf57bfa5367e596becaeb815bab406e23ea3","after":"0b0ecd08b9778f0ed9d6b4032001fadcc536a672","ref":"refs/heads/gh-pages","pushedAt":"2024-03-05T07:50:34.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 to GitHub pages","shortMessageHtmlLink":"Deploy to GitHub pages"}},{"before":"0b4d6e8e09f1b1ae4ab4bec37043b35bf6fbf5bd","after":"b74e23242ea44bbfc40fdb4ad32447efaab1b945","ref":"refs/heads/master","pushedAt":"2024-03-05T07:50:23.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"Merge pull request #43 from erikmd/opam-switch-mode\n\ndocs(README.md): Add opam-switch-mode","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2167924520\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/awesome-coq/issues/43\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/awesome-coq/pull/43/hovercard\" href=\"https://github.com/coq-community/awesome-coq/pull/43\">#43</a> from erikmd/opam-switch-mode"}},{"before":"322e63d452c89275c094bda40a7b833cac1c06ca","after":"bd0ccf57bfa5367e596becaeb815bab406e23ea3","ref":"refs/heads/gh-pages","pushedAt":"2024-02-12T14:24:58.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 to GitHub pages","shortMessageHtmlLink":"Deploy to GitHub pages"}},{"before":"c2bde6c22f56c5031d46821faab55a5f2bc59556","after":"0b4d6e8e09f1b1ae4ab4bec37043b35bf6fbf5bd","ref":"refs/heads/master","pushedAt":"2024-02-12T14:24:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"stable link for common criteria evaluations document","shortMessageHtmlLink":"stable link for common criteria evaluations document"}},{"before":"e8e16b86f409614fbc785319aa18b002d5092c99","after":"322e63d452c89275c094bda40a7b833cac1c06ca","ref":"refs/heads/gh-pages","pushedAt":"2024-02-06T16:00:43.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 to GitHub pages","shortMessageHtmlLink":"Deploy to GitHub pages"}},{"before":"d49ccf26d77c82f1f38d36c51fb40ed0ed6a91c9","after":"c2bde6c22f56c5031d46821faab55a5f2bc59556","ref":"refs/heads/master","pushedAt":"2024-02-06T16:00:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"new link to common criteria requirements","shortMessageHtmlLink":"new link to common criteria requirements"}},{"before":"c42f0879b58da153afc0a380e96259b79e90b8e5","after":"e8e16b86f409614fbc785319aa18b002d5092c99","ref":"refs/heads/gh-pages","pushedAt":"2023-12-27T12:40:36.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 to GitHub pages","shortMessageHtmlLink":"Deploy to GitHub pages"}},{"before":"a06a6745484d36a863a1036849678aa7e80ad52f","after":"d49ccf26d77c82f1f38d36c51fb40ed0ed6a91c9","ref":"refs/heads/master","pushedAt":"2023-12-27T12:40:25.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 #41 from lthms/lthms-patch-blog\n\nUpdate Thomas Letan’s blog","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2057312725\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/awesome-coq/issues/41\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/awesome-coq/pull/41/hovercard\" href=\"https://github.com/coq-community/awesome-coq/pull/41\">#41</a> from lthms/lthms-patch-blog"}},{"before":"cfa3f6496d8fe234712a878766a2b5ca2717a7f5","after":"c42f0879b58da153afc0a380e96259b79e90b8e5","ref":"refs/heads/gh-pages","pushedAt":"2023-11-30T12:33:22.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 to GitHub pages","shortMessageHtmlLink":"Deploy to GitHub pages"}},{"before":"8bf12d8941e6020a3faf8b2eee3d90ef4e9dc7f6","after":"a06a6745484d36a863a1036849678aa7e80ad52f","ref":"refs/heads/master","pushedAt":"2023-11-30T12:33:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"use archival link for removed requirements document","shortMessageHtmlLink":"use archival link for removed requirements document"}},{"before":"9bb25f84b49be0f93b2f98b5bbca6c6a6cdbc36a","after":"cfa3f6496d8fe234712a878766a2b5ca2717a7f5","ref":"refs/heads/gh-pages","pushedAt":"2023-11-08T18:16:51.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 to GitHub pages","shortMessageHtmlLink":"Deploy to GitHub pages"}},{"before":"26756191c0100f87a5f385f2617d85923ddf509c","after":null,"ref":"refs/heads/fix-vscoq","pushedAt":"2023-11-08T18:16:41.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":"765ea9f9e7557230acdabd28ebe8a3d6ad2273ef","after":"8bf12d8941e6020a3faf8b2eee3d90ef4e9dc7f6","ref":"refs/heads/master","pushedAt":"2023-11-08T18:16:38.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"Merge pull request #40 from coq-community/fix-vscoq\n\nUpdate VsCoq descriptions","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1984127806\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/awesome-coq/issues/40\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/awesome-coq/pull/40/hovercard\" href=\"https://github.com/coq-community/awesome-coq/pull/40\">#40</a> from coq-community/fix-vscoq"}},{"before":"69e9cd4b537bb60a9a7bb0d857459310888fcb6f","after":"26756191c0100f87a5f385f2617d85923ddf509c","ref":"refs/heads/fix-vscoq","pushedAt":"2023-11-08T18:10:31.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":"adjust awesome_bot configuration","shortMessageHtmlLink":"adjust awesome_bot configuration"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0xMVQyMDo0NzozNy4wMDAwMDBazwAAAASXjEmA","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0xMVQyMDo0NzozNy4wMDAwMDBazwAAAASXjEmA","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0xMS0wOFQxODoxMDozMS4wMDAwMDBazwAAAAOqnTzd"}},"title":"Activity · coq-community/awesome-coq"}