{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":585160276,"defaultBranch":"main","name":"neco-project","ownerLogin":"spica314","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-01-04T13:24:16.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/13274198?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1689179645.0","currentOid":""},"activityList":{"items":[{"before":"8aa5313203b7dea75cfe8ff8d5cfa66d66aa60e6","after":"f0a0320e58c335c863f6f213081daf084bae3b5a","ref":"refs/heads/main","pushedAt":"2024-01-01T03:47:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"spica314","name":"Masato Mori","path":"/spica314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13274198?s=80&v=4"},"commit":{"message":"Clean up","shortMessageHtmlLink":"Clean up"}},{"before":"9d4eec4e57120c81370cf29e04ddea98f4565de6","after":"8aa5313203b7dea75cfe8ff8d5cfa66d66aa60e6","ref":"refs/heads/main","pushedAt":"2024-01-01T03:42:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"spica314","name":"Masato Mori","path":"/spica314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13274198?s=80&v=4"},"commit":{"message":"Impl. SynStatementLetTypeAnnotation","shortMessageHtmlLink":"Impl. SynStatementLetTypeAnnotation"}},{"before":"a7ff85aed8b113c10d2fa514f4f35e0f76afe591","after":"9d4eec4e57120c81370cf29e04ddea98f4565de6","ref":"refs/heads/main","pushedAt":"2024-01-01T02:54:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"spica314","name":"Masato Mori","path":"/spica314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13274198?s=80&v=4"},"commit":{"message":"Update year","shortMessageHtmlLink":"Update year"}},{"before":"7ad91ea90567f066877f503d850bad7a03430cfb","after":"a7ff85aed8b113c10d2fa514f4f35e0f76afe591","ref":"refs/heads/main","pushedAt":"2024-01-01T02:50:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"spica314","name":"Masato Mori","path":"/spica314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13274198?s=80&v=4"},"commit":{"message":"Support examples/statement-{break,continue}","shortMessageHtmlLink":"Support examples/statement-{break,continue}"}},{"before":"37baa44554212537332eb71ba3c9ebd67067375f","after":"7ad91ea90567f066877f503d850bad7a03430cfb","ref":"refs/heads/main","pushedAt":"2023-12-31T19:14:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"spica314","name":"Masato Mori","path":"/spica314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13274198?s=80&v=4"},"commit":{"message":"Refactor","shortMessageHtmlLink":"Refactor"}},{"before":"4b8e694f68aa7548b94cc7d9601f37471452443b","after":"37baa44554212537332eb71ba3c9ebd67067375f","ref":"refs/heads/main","pushedAt":"2023-12-31T19:11:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"spica314","name":"Masato Mori","path":"/spica314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13274198?s=80&v=4"},"commit":{"message":"Support examples/statement-loop","shortMessageHtmlLink":"Support examples/statement-loop"}},{"before":"ff8deeb838982e4da7216a553c623ab45018b214","after":"4b8e694f68aa7548b94cc7d9601f37471452443b","ref":"refs/heads/main","pushedAt":"2023-12-31T18:52:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"spica314","name":"Masato Mori","path":"/spica314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13274198?s=80&v=4"},"commit":{"message":"Clean up","shortMessageHtmlLink":"Clean up"}},{"before":"fedb66cc112414e00bd869414bba093e43782a8f","after":"ff8deeb838982e4da7216a553c623ab45018b214","ref":"refs/heads/main","pushedAt":"2023-12-31T18:48:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"spica314","name":"Masato Mori","path":"/spica314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13274198?s=80&v=4"},"commit":{"message":"Support examples/statement-if-{1,2}","shortMessageHtmlLink":"Support examples/statement-if-{1,2}"}},{"before":"b1481a29bc556259183f962ef138f5d3f29b961b","after":"fedb66cc112414e00bd869414bba093e43782a8f","ref":"refs/heads/main","pushedAt":"2023-12-31T14:31:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"spica314","name":"Masato Mori","path":"/spica314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13274198?s=80&v=4"},"commit":{"message":"Impl. byte_length_of_type_term","shortMessageHtmlLink":"Impl. byte_length_of_type_term"}},{"before":"4d6b78772a674bb8e48a698c85c3fafa8b6e8f32","after":"b1481a29bc556259183f962ef138f5d3f29b961b","ref":"refs/heads/main","pushedAt":"2023-12-31T13:39:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"spica314","name":"Masato Mori","path":"/spica314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13274198?s=80&v=4"},"commit":{"message":"Support examples/let-without-expr","shortMessageHtmlLink":"Support examples/let-without-expr"}},{"before":"4e5cae1b7c7e08409ee643386838e21a99c0f545","after":"4d6b78772a674bb8e48a698c85c3fafa8b6e8f32","ref":"refs/heads/main","pushedAt":"2023-12-31T12:13:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"spica314","name":"Masato Mori","path":"/spica314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13274198?s=80&v=4"},"commit":{"message":"Add TypeTerm to TypedDecoration::ExprApp","shortMessageHtmlLink":"Add TypeTerm to TypedDecoration::ExprApp"}},{"before":"974f52fb8e53d9921bf2e96ec2a18566c20ffaae","after":"4e5cae1b7c7e08409ee643386838e21a99c0f545","ref":"refs/heads/main","pushedAt":"2023-12-31T11:37:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"spica314","name":"Masato Mori","path":"/spica314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13274198?s=80&v=4"},"commit":{"message":"Delete Decoration::ExprBlock","shortMessageHtmlLink":"Delete Decoration::ExprBlock"}},{"before":"285bb0de9b6468072868eac43f11c9601cf5431f","after":"974f52fb8e53d9921bf2e96ec2a18566c20ffaae","ref":"refs/heads/main","pushedAt":"2023-12-31T11:19:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"spica314","name":"Masato Mori","path":"/spica314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13274198?s=80&v=4"},"commit":{"message":"Delete SynStatement::Expr","shortMessageHtmlLink":"Delete SynStatement::Expr"}},{"before":"5550806583c8a9b73d861fed6feeec6c32be3626","after":"285bb0de9b6468072868eac43f11c9601cf5431f","ref":"refs/heads/main","pushedAt":"2023-12-31T11:13:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"spica314","name":"Masato Mori","path":"/spica314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13274198?s=80&v=4"},"commit":{"message":"Support examples/i64-add","shortMessageHtmlLink":"Support examples/i64-add"}},{"before":"d7da8b1ff8a90ead1e71e7306b4f17af7bdab54f","after":"5550806583c8a9b73d861fed6feeec6c32be3626","ref":"refs/heads/main","pushedAt":"2023-12-31T10:58:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"spica314","name":"Masato Mori","path":"/spica314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13274198?s=80&v=4"},"commit":{"message":"Rename neco-rs to gen1","shortMessageHtmlLink":"Rename neco-rs to gen1"}},{"before":"60d8cd407a984116d3bb1ff792466664cc4298c2","after":"d7da8b1ff8a90ead1e71e7306b4f17af7bdab54f","ref":"refs/heads/main","pushedAt":"2023-12-31T08:36:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"spica314","name":"Masato Mori","path":"/spica314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13274198?s=80&v=4"},"commit":{"message":"Delete ExprBlock","shortMessageHtmlLink":"Delete ExprBlock"}},{"before":"79f00152b6bfc9a5168689ebd2d1308cf48e2875","after":"60d8cd407a984116d3bb1ff792466664cc4298c2","ref":"refs/heads/main","pushedAt":"2023-12-31T08:18:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"spica314","name":"Masato Mori","path":"/spica314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13274198?s=80&v=4"},"commit":{"message":"Support examples/exit-42","shortMessageHtmlLink":"Support examples/exit-42"}},{"before":"3c11c8671418354e91570bf4be52008ad46bffc2","after":"79f00152b6bfc9a5168689ebd2d1308cf48e2875","ref":"refs/heads/main","pushedAt":"2023-12-31T06:42:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"spica314","name":"Masato Mori","path":"/spica314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13274198?s=80&v=4"},"commit":{"message":"Refactor felis-x86-64","shortMessageHtmlLink":"Refactor felis-x86-64"}},{"before":"19bc7478555d99eba85f9487eeeb02703192c5df","after":"3c11c8671418354e91570bf4be52008ad46bffc2","ref":"refs/heads/main","pushedAt":"2023-12-30T16:35:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"spica314","name":"Masato Mori","path":"/spica314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13274198?s=80&v=4"},"commit":{"message":"Fix CI","shortMessageHtmlLink":"Fix CI"}},{"before":"c5fccd738fe9f731a60bf3d17ea386ad18dffa42","after":"19bc7478555d99eba85f9487eeeb02703192c5df","ref":"refs/heads/main","pushedAt":"2023-12-30T16:34:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"spica314","name":"Masato Mori","path":"/spica314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13274198?s=80&v=4"},"commit":{"message":"Fix CI","shortMessageHtmlLink":"Fix CI"}},{"before":"1a84c18a2550cc1407215ee642d4390401f8914d","after":"c5fccd738fe9f731a60bf3d17ea386ad18dffa42","ref":"refs/heads/main","pushedAt":"2023-12-30T16:32:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"spica314","name":"Masato Mori","path":"/spica314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13274198?s=80&v=4"},"commit":{"message":"Fix CI","shortMessageHtmlLink":"Fix CI"}},{"before":"36e1f76b088a3449468896917a850325a7ece76f","after":"1a84c18a2550cc1407215ee642d4390401f8914d","ref":"refs/heads/main","pushedAt":"2023-12-30T16:24:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"spica314","name":"Masato Mori","path":"/spica314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13274198?s=80&v=4"},"commit":{"message":"Fix CI","shortMessageHtmlLink":"Fix CI"}},{"before":"7f0f11281c1defe8979c047b2e4e9ce7f7d60c6a","after":"36e1f76b088a3449468896917a850325a7ece76f","ref":"refs/heads/main","pushedAt":"2023-12-30T16:13:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"spica314","name":"Masato Mori","path":"/spica314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13274198?s=80&v=4"},"commit":{"message":"Support let-mut-string","shortMessageHtmlLink":"Support let-mut-string"}},{"before":"cbcc59e6a3413132d91f887ee76b6e4cc86b9399","after":"7f0f11281c1defe8979c047b2e4e9ce7f7d60c6a","ref":"refs/heads/main","pushedAt":"2023-12-30T11:43:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"spica314","name":"Masato Mori","path":"/spica314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13274198?s=80&v=4"},"commit":{"message":"Clean up","shortMessageHtmlLink":"Clean up"}},{"before":"28b16f2add3a77e317af071996e495994d9c0164","after":"cbcc59e6a3413132d91f887ee76b6e4cc86b9399","ref":"refs/heads/main","pushedAt":"2023-12-30T05:22:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"spica314","name":"Masato Mori","path":"/spica314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13274198?s=80&v=4"},"commit":{"message":"Impl. neco command","shortMessageHtmlLink":"Impl. neco command"}},{"before":"669b218acb787f6701a2a6e444fab91a0f22367e","after":"28b16f2add3a77e317af071996e495994d9c0164","ref":"refs/heads/main","pushedAt":"2023-12-17T15:07:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"spica314","name":"Masato Mori","path":"/spica314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13274198?s=80&v=4"},"commit":{"message":"Support examples/let-string","shortMessageHtmlLink":"Support examples/let-string"}},{"before":"cb818df31d1e1452edac9243aa022f150b7bd2cd","after":"669b218acb787f6701a2a6e444fab91a0f22367e","ref":"refs/heads/main","pushedAt":"2023-12-17T05:55:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"spica314","name":"Masato Mori","path":"/spica314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13274198?s=80&v=4"},"commit":{"message":"Impl. felis_code_gen_prepared","shortMessageHtmlLink":"Impl. felis_code_gen_prepared"}},{"before":"94b521c372a8c66df34878df0618ec2773b18a9c","after":"cb818df31d1e1452edac9243aa022f150b7bd2cd","ref":"refs/heads/main","pushedAt":"2023-12-17T04:16:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"spica314","name":"Masato Mori","path":"/spica314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13274198?s=80&v=4"},"commit":{"message":"Impl. felis-type-checker::typing","shortMessageHtmlLink":"Impl. felis-type-checker::typing"}},{"before":"aee4df4fd4d7beabc42e239b1df43c21ca47763e","after":"94b521c372a8c66df34878df0618ec2773b18a9c","ref":"refs/heads/main","pushedAt":"2023-12-16T10:22:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"spica314","name":"Masato Mori","path":"/spica314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13274198?s=80&v=4"},"commit":{"message":"Delete SynFormula and SynTheoremDef","shortMessageHtmlLink":"Delete SynFormula and SynTheoremDef"}},{"before":"a23e230fcc0a737b4a2b36fd4e35b3ed39cfdff5","after":"aee4df4fd4d7beabc42e239b1df43c21ca47763e","ref":"refs/heads/main","pushedAt":"2023-12-02T17:44:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"spica314","name":"Masato Mori","path":"/spica314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13274198?s=80&v=4"},"commit":{"message":"Impl. felis_type_checker::retrieve for retrieving type relations","shortMessageHtmlLink":"Impl. felis_type_checker::retrieve for retrieving type relations"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAD1T-1VAA","startCursor":null,"endCursor":null}},"title":"Activity · spica314/neco-project"}