{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":116275265,"defaultBranch":"master","name":"Schools","ownerLogin":"UniMath","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2018-01-04T15:20:44.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/6826454?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1658223518.9553971","currentOid":""},"activityList":{"items":[{"before":"56a8a9d1ed70233b6cfaf5f2fb5b4df376ea761f","after":"752abd3940d975305476c4aef0f5d850c2a882bc","ref":"refs/heads/master","pushedAt":"2024-09-10T18:08:21.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"benediktahrens","name":"Benedikt Ahrens","path":"/benediktahrens","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1106102?s=80&v=4"},"commit":{"message":"Merge pull request #54 from arnoudvanderleer/fix-variables\n\nConvert a Variables to two Admitted statements","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2510508679\" data-permission-text=\"Title is private\" data-url=\"https://github.com/UniMath/Schools/issues/54\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/UniMath/Schools/pull/54/hovercard\" href=\"https://github.com/UniMath/Schools/pull/54\">#54</a> from arnoudvanderleer/fix-variables"}},{"before":"47a11d2b043ccc14bbd7292905d570da6b69684f","after":"56a8a9d1ed70233b6cfaf5f2fb5b4df376ea761f","ref":"refs/heads/master","pushedAt":"2024-08-30T19:42:07.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"benediktahrens","name":"Benedikt Ahrens","path":"/benediktahrens","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1106102?s=80&v=4"},"commit":{"message":"Merge pull request #53 from arnoudvanderleer/CI\n\nImprove the build script, re-enable Search commands","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2492808237\" data-permission-text=\"Title is private\" data-url=\"https://github.com/UniMath/Schools/issues/53\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/UniMath/Schools/pull/53/hovercard\" href=\"https://github.com/UniMath/Schools/pull/53\">#53</a> from arnoudvanderleer/CI"}},{"before":"40ffe12b81e72c3635f5c3f390451b3729387ee3","after":"47a11d2b043ccc14bbd7292905d570da6b69684f","ref":"refs/heads/master","pushedAt":"2024-08-20T06:08:56.000Z","pushType":"pr_merge","commitsCount":7,"pusher":{"login":"benediktahrens","name":"Benedikt Ahrens","path":"/benediktahrens","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1106102?s=80&v=4"},"commit":{"message":"Merge pull request #52 from arnoudvanderleer/CI\n\nMake CI work for the coq files","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2471574165\" data-permission-text=\"Title is private\" data-url=\"https://github.com/UniMath/Schools/issues/52\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/UniMath/Schools/pull/52/hovercard\" href=\"https://github.com/UniMath/Schools/pull/52\">#52</a> from arnoudvanderleer/CI"}},{"before":"a273b73731aaa44a9453f31fc88f5cbb6ccd83af","after":"40ffe12b81e72c3635f5c3f390451b3729387ee3","ref":"refs/heads/master","pushedAt":"2024-08-04T18:35:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cangiuli","name":"Carlo Angiuli","path":"/cangiuli","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1076739?s=80&v=4"},"commit":{"message":"add links from Learning Materials page to School pages","shortMessageHtmlLink":"add links from Learning Materials page to School pages"}},{"before":"fee07c2ffb9a0e0862f48faab848070763280cfd","after":"a273b73731aaa44a9453f31fc88f5cbb6ccd83af","ref":"refs/heads/master","pushedAt":"2024-08-02T15:10:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cangiuli","name":"Carlo Angiuli","path":"/cangiuli","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1076739?s=80&v=4"},"commit":{"message":"Add the new tests to the exercises file.","shortMessageHtmlLink":"Add the new tests to the exercises file."}},{"before":"184bbf90f7e83dfb1a1cff4ce9144e0d04398672","after":"fee07c2ffb9a0e0862f48faab848070763280cfd","ref":"refs/heads/master","pushedAt":"2024-08-02T15:09:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cangiuli","name":"Carlo Angiuli","path":"/cangiuli","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1076739?s=80&v=4"},"commit":{"message":"Fix Lecture 2 solution of Zadd, thanks to Dever Kemme Nash.","shortMessageHtmlLink":"Fix Lecture 2 solution of Zadd, thanks to Dever Kemme Nash."}},{"before":"31c8d596c9222b2c505de7f20944d42d40e408c7","after":"184bbf90f7e83dfb1a1cff4ce9144e0d04398672","ref":"refs/heads/master","pushedAt":"2024-08-02T14:36:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cangiuli","name":"Carlo Angiuli","path":"/cangiuli","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1076739?s=80&v=4"},"commit":{"message":"Add links to 2024 lecturers' websites.","shortMessageHtmlLink":"Add links to 2024 lecturers' websites."}},{"before":"6b9cf8c6752d2f928dfd4e7b0d3584e1c01002b3","after":"31c8d596c9222b2c505de7f20944d42d40e408c7","ref":"refs/heads/master","pushedAt":"2024-08-02T14:26:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cangiuli","name":"Carlo Angiuli","path":"/cangiuli","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1076739?s=80&v=4"},"commit":{"message":"Add Favonia's exercises/solutions.","shortMessageHtmlLink":"Add Favonia's exercises/solutions."}},{"before":"1c7c7485449c012eaf8e64299c1a9da9d111003b","after":"6b9cf8c6752d2f928dfd4e7b0d3584e1c01002b3","ref":"refs/heads/master","pushedAt":"2024-08-01T16:28:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cangiuli","name":"Carlo Angiuli","path":"/cangiuli","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1076739?s=80&v=4"},"commit":{"message":"add one exercise/solution for lecture 5","shortMessageHtmlLink":"add one exercise/solution for lecture 5"}},{"before":"530dd97b9cff2a58c723e5b0fa74b1bfc2bd3471","after":"1c7c7485449c012eaf8e64299c1a9da9d111003b","ref":"refs/heads/master","pushedAt":"2024-08-01T15:13:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"benediktahrens","name":"Benedikt Ahrens","path":"/benediktahrens","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1106102?s=80&v=4"},"commit":{"message":"ct 6","shortMessageHtmlLink":"ct 6"}},{"before":"9dac4dc9a50686bcfcb6f9f01861160d57f75325","after":"530dd97b9cff2a58c723e5b0fa74b1bfc2bd3471","ref":"refs/heads/master","pushedAt":"2024-08-01T14:48:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"benediktahrens","name":"Benedikt Ahrens","path":"/benediktahrens","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1106102?s=80&v=4"},"commit":{"message":"exercises 5","shortMessageHtmlLink":"exercises 5"}},{"before":"4618c6a5815d8b6afbc6b62651ccd2c8a165f833","after":"9dac4dc9a50686bcfcb6f9f01861160d57f75325","ref":"refs/heads/master","pushedAt":"2024-07-31T16:12:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cangiuli","name":"Carlo Angiuli","path":"/cangiuli","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1076739?s=80&v=4"},"commit":{"message":"Add Lecture 5 to README.","shortMessageHtmlLink":"Add Lecture 5 to README."}},{"before":"e617364ba2185eb2e3f916d4afbf55c4bb254fac","after":"4618c6a5815d8b6afbc6b62651ccd2c8a165f833","ref":"refs/heads/master","pushedAt":"2024-07-31T16:10:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cangiuli","name":"Carlo Angiuli","path":"/cangiuli","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1076739?s=80&v=4"},"commit":{"message":"Add Minneapolis Lecture 5.","shortMessageHtmlLink":"Add Minneapolis Lecture 5."}},{"before":"1db96077806e761e40655afbbf33b7133ceee83e","after":"e617364ba2185eb2e3f916d4afbf55c4bb254fac","ref":"refs/heads/master","pushedAt":"2024-07-30T16:05:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"benediktahrens","name":"Benedikt Ahrens","path":"/benediktahrens","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1106102?s=80&v=4"},"commit":{"message":"correct typo","shortMessageHtmlLink":"correct typo"}},{"before":"764411fad0d71c5e666f1a7867cd1fd2be9d734e","after":"1db96077806e761e40655afbbf33b7133ceee83e","ref":"refs/heads/master","pushedAt":"2024-07-30T16:03:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"benediktahrens","name":"Benedikt Ahrens","path":"/benediktahrens","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1106102?s=80&v=4"},"commit":{"message":"lec 3","shortMessageHtmlLink":"lec 3"}},{"before":"a4255eba094fee97209843950dc6ce95de82d413","after":"764411fad0d71c5e666f1a7867cd1fd2be9d734e","ref":"refs/heads/master","pushedAt":"2024-07-30T14:59:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"benediktahrens","name":"Benedikt Ahrens","path":"/benediktahrens","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1106102?s=80&v=4"},"commit":{"message":"add matos for lec4","shortMessageHtmlLink":"add matos for lec4"}},{"before":"70c09c065d21806151b2d2f2e70c8dcc7e596267","after":"a4255eba094fee97209843950dc6ce95de82d413","ref":"refs/heads/master","pushedAt":"2024-07-29T20:31:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"benediktahrens","name":"Benedikt Ahrens","path":"/benediktahrens","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1106102?s=80&v=4"},"commit":{"message":"exercises 2","shortMessageHtmlLink":"exercises 2"}},{"before":"17b13d752fb27f387b5b4de57d399d1b00304751","after":"70c09c065d21806151b2d2f2e70c8dcc7e596267","ref":"refs/heads/master","pushedAt":"2024-07-29T20:18:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"benediktahrens","name":"Benedikt Ahrens","path":"/benediktahrens","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1106102?s=80&v=4"},"commit":{"message":"lctur 2","shortMessageHtmlLink":"lctur 2"}},{"before":"1f02b7a27b9efccc57367195df8a43e0884fb8ec","after":"17b13d752fb27f387b5b4de57d399d1b00304751","ref":"refs/heads/master","pushedAt":"2024-07-29T16:04:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"benediktahrens","name":"Benedikt Ahrens","path":"/benediktahrens","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1106102?s=80&v=4"},"commit":{"message":"add lecture 1 2024 Minn","shortMessageHtmlLink":"add lecture 1 2024 Minn"}},{"before":"f14952a077dc0b90a25c370fc300e90dee3629ae","after":"1f02b7a27b9efccc57367195df8a43e0884fb8ec","ref":"refs/heads/master","pushedAt":"2024-07-29T15:25:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"benediktahrens","name":"Benedikt Ahrens","path":"/benediktahrens","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1106102?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"ab62e1075171b5baf22da1bc1ec1dcb5d8f3ef2b","after":"f14952a077dc0b90a25c370fc300e90dee3629ae","ref":"refs/heads/master","pushedAt":"2024-07-29T15:12:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"benediktahrens","name":"Benedikt Ahrens","path":"/benediktahrens","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1106102?s=80&v=4"},"commit":{"message":"Update _config.yml","shortMessageHtmlLink":"Update _config.yml"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xMFQxODowODoyMS4wMDAwMDBazwAAAASyYaGh","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xMFQxODowODoyMS4wMDAwMDBazwAAAASyYaGh","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNy0yOVQxNToxMjo1NC4wMDAwMDBazwAAAASMC12M"}},"title":"Activity · UniMath/Schools"}