{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":328686203,"defaultBranch":"master","name":"scala-tptp-parser","ownerLogin":"leoprover","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-01-11T14:15:38.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/30048677?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1679771578.0","currentOid":""},"activityList":{"items":[{"before":"0ada1234b23c28402b4de6aa6909f20056fdf72e","after":"49425aa89ac7a9df07f043d521a0d2dd8a194144","ref":"refs/heads/master","pushedAt":"2024-08-13T09:29:41.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 scalatest version","shortMessageHtmlLink":"bump scalatest version"}},{"before":"64c5795c46bf6a55e9e9cc36207ded2235764298","after":"0ada1234b23c28402b4de6aa6909f20056fdf72e","ref":"refs/heads/master","pushedAt":"2023-03-24T22:29:20.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":"left side of meta identity can be anything","shortMessageHtmlLink":"left side of meta identity can be anything"}},{"before":"9c9a63da19d10f585c7154d029f76a43fb22144d","after":"64c5795c46bf6a55e9e9cc36207ded2235764298","ref":"refs/heads/master","pushedAt":"2023-03-16T07:46:28.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 README for new release","shortMessageHtmlLink":"update README for new release"}},{"before":"5555744da77b8797c07a348a70ba2fcb9391d8b5","after":"9c9a63da19d10f585c7154d029f76a43fb22144d","ref":"refs/heads/master","pushedAt":"2023-03-15T19:28:24.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 test case to new syntax","shortMessageHtmlLink":"update test case to new syntax"}},{"before":"87d1981062e9ec10510babb14d15708b3643ea32","after":"5555744da77b8797c07a348a70ba2fcb9391d8b5","ref":"refs/heads/master","pushedAt":"2023-03-15T19:21:23.000Z","pushType":"push","commitsCount":6,"pusher":{"login":"lex-lex","name":"Alexander Steen","path":"/lex-lex","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/822414?s=80&v=4"},"commit":{"message":"improved TFF NCLFormula pretty","shortMessageHtmlLink":"improved TFF NCLFormula pretty"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEmP5bBAA","startCursor":null,"endCursor":null}},"title":"Activity · leoprover/scala-tptp-parser"}