{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":17906911,"defaultBranch":"master","name":"Leo-III","ownerLogin":"leoprover","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2014-03-19T14:21:36.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/30048677?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1718177569.0","currentOid":""},"activityList":{"items":[{"before":"deca4796357dd8b22ecbd5c44ab3cad5b1b79ec8","after":"288b2c4c6d08e35cb1a90b726254d353cced30b1","ref":"refs/heads/master","pushedAt":"2024-06-05T06:46:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lex-lex","name":"Alexander Steen","path":"/lex-lex","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/822414?s=80&v=4"},"commit":{"message":"bump version","shortMessageHtmlLink":"bump version"}},{"before":"810e1d7bacdaad47c9cf5f88259da4a0be19338d","after":"deca4796357dd8b22ecbd5c44ab3cad5b1b79ec8","ref":"refs/heads/master","pushedAt":"2024-05-20T08:16:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lex-lex","name":"Alexander Steen","path":"/lex-lex","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/822414?s=80&v=4"},"commit":{"message":"fix SZS reporting for neg_conjecture problems","shortMessageHtmlLink":"fix SZS reporting for neg_conjecture problems"}},{"before":"0c4864f52560f6974ef71926a1d85cc163ce3835","after":"810e1d7bacdaad47c9cf5f88259da4a0be19338d","ref":"refs/heads/master","pushedAt":"2024-05-15T03:28:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lex-lex","name":"Alexander Steen","path":"/lex-lex","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/822414?s=80&v=4"},"commit":{"message":"update version output","shortMessageHtmlLink":"update version output"}},{"before":"e15337cd1fddf8ff0c585df7365e0842deb6dfe8","after":"0c4864f52560f6974ef71926a1d85cc163ce3835","ref":"refs/heads/master","pushedAt":"2024-05-15T03:25:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lex-lex","name":"Alexander Steen","path":"/lex-lex","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/822414?s=80&v=4"},"commit":{"message":"removed duplicated scala library, oops","shortMessageHtmlLink":"removed duplicated scala library, oops"}},{"before":"029813a871bed771116dc44744bf3d2628914bac","after":"e15337cd1fddf8ff0c585df7365e0842deb6dfe8","ref":"refs/heads/master","pushedAt":"2024-05-15T03:22:07.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"lex-lex","name":"Alexander Steen","path":"/lex-lex","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/822414?s=80&v=4"},"commit":{"message":"bump leo version","shortMessageHtmlLink":"bump leo version"}},{"before":"a1b75a95d8bd685f97a400beafa8f7c1ab714a86","after":"029813a871bed771116dc44744bf3d2628914bac","ref":"refs/heads/master","pushedAt":"2023-12-13T12:41:20.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"lex-lex","name":"Alexander Steen","path":"/lex-lex","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/822414?s=80&v=4"},"commit":{"message":"add leo logo","shortMessageHtmlLink":"add leo logo"}},{"before":"22767db1d5d92df3820d74dd2b59cb8a6360e9f6","after":"a1b75a95d8bd685f97a400beafa8f7c1ab714a86","ref":"refs/heads/master","pushedAt":"2023-08-30T12:01:44.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"lex-lex","name":"Alexander Steen","path":"/lex-lex","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/822414?s=80&v=4"},"commit":{"message":"bump scala version; insert scala native plugin","shortMessageHtmlLink":"bump scala version; insert scala native plugin"}},{"before":"79af460ebc0c8b88b151f771a7aeac07d1667a73","after":"22767db1d5d92df3820d74dd2b59cb8a6360e9f6","ref":"refs/heads/master","pushedAt":"2023-05-24T14:48:50.565Z","pushType":"push","commitsCount":9,"pusher":{"login":"lex-lex","name":"Alexander Steen","path":"/lex-lex","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/822414?s=80&v=4"},"commit":{"message":"Merge branch 'master' of github.com:leoprover/Leo-III","shortMessageHtmlLink":"Merge branch 'master' of github.com:leoprover/Leo-III"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEXMVE_QA","startCursor":null,"endCursor":null}},"title":"Activity · leoprover/Leo-III"}