{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":543152480,"defaultBranch":"master","name":"isabelle-tools-collection","ownerLogin":"isabelle-prover","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-09-29T13:58:14.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/14984655?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1664460176.9462988","currentOid":""},"activityList":{"items":[{"before":"c53dd7826fa1ae0b0afdaee5d22cb90dc5ec7a0d","after":"fa6b8db6b8b49f2bd3e4d4647f2b835c7ff9c3ab","ref":"refs/heads/master","pushedAt":"2024-06-10T11:30:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dacit","name":null,"path":"/Dacit","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5286232?s=80&v=4"},"commit":{"message":"adapt to Isabelle;","shortMessageHtmlLink":"adapt to Isabelle;"}},{"before":"a1107b16e8bcd74803a2de4c1e675782a82d7d0e","after":"c53dd7826fa1ae0b0afdaee5d22cb90dc5ec7a0d","ref":"refs/heads/master","pushedAt":"2023-10-24T16:41:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dacit","name":null,"path":"/Dacit","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5286232?s=80&v=4"},"commit":{"message":"use options instead of ci.preferences;","shortMessageHtmlLink":"use options instead of ci.preferences;"}},{"before":"c2095b1dedf445117392a265a33812f7f0aab50c","after":"a1107b16e8bcd74803a2de4c1e675782a82d7d0e","ref":"refs/heads/master","pushedAt":"2023-07-25T13:32:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dacit","name":null,"path":"/Dacit","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5286232?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"db3a5a09e180c379b5975df483e3973ec6e1c318","after":"c2095b1dedf445117392a265a33812f7f0aab50c","ref":"refs/heads/master","pushedAt":"2023-06-26T13:15:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dacit","name":null,"path":"/Dacit","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5286232?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"5ae0526c12648814acaca9eb0cc3bc6809f57431","after":"db3a5a09e180c379b5975df483e3973ec6e1c318","ref":"refs/heads/master","pushedAt":"2023-05-03T16:52:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dacit","name":null,"path":"/Dacit","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5286232?s=80&v=4"},"commit":{"message":"add findfacts;","shortMessageHtmlLink":"add findfacts;"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNi0xMFQxMTozMDoxMS4wMDAwMDBazwAAAARhCFWT","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wNS0wM1QxNjo1Mjo0OC4wMDAwMDBazwAAAAMlXl6N"}},"title":"Activity · isabelle-prover/isabelle-tools-collection"}