{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":610487589,"defaultBranch":"main","name":"typecheckler","ownerLogin":"cyberglot","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-03-06T21:49:11.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/609862?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1678139352.083572","currentOid":""},"activityList":{"items":[{"before":"7a94553477c14f235d434b88801b91006cd5a527","after":"d343fbbf752adfbd8258816373935acfd39ddc6f","ref":"refs/heads/main","pushedAt":"2023-05-27T17:56:25.652Z","pushType":"push","commitsCount":1,"pusher":{"login":"cyberglot","name":"april","path":"/cyberglot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/609862?s=80&v=4"},"commit":{"message":"update agda/idris2 for STLC version","shortMessageHtmlLink":"update agda/idris2 for STLC version"}},{"before":"c93a7906a4901743f12d53a9ff946e30d0d13c67","after":"7a94553477c14f235d434b88801b91006cd5a527","ref":"refs/heads/main","pushedAt":"2023-05-15T13:41:37.559Z","pushType":"push","commitsCount":1,"pusher":{"login":"cyberglot","name":"april","path":"/cyberglot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/609862?s=80&v=4"},"commit":{"message":"update haskell/STLC version","shortMessageHtmlLink":"update haskell/STLC version"}},{"before":"6b82e2b30872c694021f74f06b97a8afce3f1d2b","after":"c93a7906a4901743f12d53a9ff946e30d0d13c67","ref":"refs/heads/main","pushedAt":"2023-05-04T16:21:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cyberglot","name":"april","path":"/cyberglot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/609862?s=80&v=4"},"commit":{"message":"add basic idris version of bidistlc","shortMessageHtmlLink":"add basic idris version of bidistlc"}},{"before":"be30467cbef1c5ea79401b2e78a68f3aca8afa8b","after":"6b82e2b30872c694021f74f06b97a8afce3f1d2b","ref":"refs/heads/main","pushedAt":"2023-05-04T15:50:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cyberglot","name":"april","path":"/cyberglot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/609862?s=80&v=4"},"commit":{"message":"remove github workflow","shortMessageHtmlLink":"remove github workflow"}},{"before":"dd1881f334c629aa34f8c3f483e85967fa0b9d2d","after":"be30467cbef1c5ea79401b2e78a68f3aca8afa8b","ref":"refs/heads/main","pushedAt":"2023-05-04T15:48:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cyberglot","name":"april","path":"/cyberglot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/609862?s=80&v=4"},"commit":{"message":"re-org folders","shortMessageHtmlLink":"re-org folders"}},{"before":"c8199e89b36bfc665f4538012eff799431c2448a","after":"dd1881f334c629aa34f8c3f483e85967fa0b9d2d","ref":"refs/heads/main","pushedAt":"2023-05-02T22:25:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cyberglot","name":"april","path":"/cyberglot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/609862?s=80&v=4"},"commit":{"message":"Update BidiSTLC.hs","shortMessageHtmlLink":"Update BidiSTLC.hs"}},{"before":"8130ea24b2b07b7ae68950e705e2b3249d7d02f3","after":"c8199e89b36bfc665f4538012eff799431c2448a","ref":"refs/heads/main","pushedAt":"2023-05-02T22:24:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cyberglot","name":"april","path":"/cyberglot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/609862?s=80&v=4"},"commit":{"message":"Update BidiSTLC.hs","shortMessageHtmlLink":"Update BidiSTLC.hs"}},{"before":"9404cfa5d991ee919cb1733ab5aafea448bb824f","after":"8130ea24b2b07b7ae68950e705e2b3249d7d02f3","ref":"refs/heads/main","pushedAt":"2023-05-02T22:22:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cyberglot","name":"april","path":"/cyberglot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/609862?s=80&v=4"},"commit":{"message":"Create haskell.yml","shortMessageHtmlLink":"Create haskell.yml"}},{"before":"f4425ab76c2bb3a5fafbc4ffc65dcfd62f13943d","after":"9404cfa5d991ee919cb1733ab5aafea448bb824f","ref":"refs/heads/main","pushedAt":"2023-05-02T22:21:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cyberglot","name":"april","path":"/cyberglot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/609862?s=80&v=4"},"commit":{"message":"Fix some errors and add bidi version of STLC","shortMessageHtmlLink":"Fix some errors and add bidi version of STLC"}},{"before":"d267ee629c44ee3a05b69b039cc6bb9714a3fb88","after":"f4425ab76c2bb3a5fafbc4ffc65dcfd62f13943d","ref":"refs/heads/main","pushedAt":"2023-05-02T21:12:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cyberglot","name":"april","path":"/cyberglot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/609862?s=80&v=4"},"commit":{"message":"update name","shortMessageHtmlLink":"update name"}},{"before":"9806511e6422377d4c4c32210654f2325f710016","after":"d267ee629c44ee3a05b69b039cc6bb9714a3fb88","ref":"refs/heads/main","pushedAt":"2023-04-08T18:29:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cyberglot","name":"april","path":"/cyberglot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/609862?s=80&v=4"},"commit":{"message":"weird SystemF","shortMessageHtmlLink":"weird SystemF"}},{"before":"d214c09f43dc93f17eb56c0c5a6be0321022625b","after":"9806511e6422377d4c4c32210654f2325f710016","ref":"refs/heads/main","pushedAt":"2023-04-08T18:26:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cyberglot","name":"april","path":"/cyberglot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/609862?s=80&v=4"},"commit":{"message":"add STLC","shortMessageHtmlLink":"add STLC"}},{"before":"a5f45b1b4c732bc8f48ed35f8ce25ba8c086e6d6","after":"d214c09f43dc93f17eb56c0c5a6be0321022625b","ref":"refs/heads/main","pushedAt":"2023-03-09T19:52:38.679Z","pushType":"push","commitsCount":1,"pusher":{"login":"cyberglot","name":"april","path":"/cyberglot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/609862?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADNYFB-QA","startCursor":null,"endCursor":null}},"title":"Activity · cyberglot/typecheckler"}