{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":30866694,"defaultBranch":"master","name":"Arend","ownerLogin":"JetBrains","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2015-02-16T12:07:33.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/878437?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1702841619.0","currentOid":""},"activityList":{"items":[{"before":"f0056ef8dc9d7ffbd847843d426088a1747ff526","after":"53aa4e6337d2e76080ff6555305fa67046fde7a9","ref":"refs/heads/master","pushedAt":"2024-05-26T10:10:37.000Z","pushType":"push","commitsCount":6,"pusher":{"login":"valis","name":null,"path":"/valis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/623606?s=80&v=4"},"commit":{"message":"Fix a bug with default dependencies","shortMessageHtmlLink":"Fix a bug with default dependencies"}},{"before":"b3cb8992d9219390537f885b4ee026f694d1f770","after":"f0056ef8dc9d7ffbd847843d426088a1747ff526","ref":"refs/heads/master","pushedAt":"2024-05-22T11:33:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"valis","name":null,"path":"/valis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/623606?s=80&v=4"},"commit":{"message":"Fix a NPE","shortMessageHtmlLink":"Fix a NPE"}},{"before":"bfacd523adca11f8d8cb87531e4274183d1414c7","after":"b3cb8992d9219390537f885b4ee026f694d1f770","ref":"refs/heads/master","pushedAt":"2024-05-08T13:13:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"valis","name":null,"path":"/valis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/623606?s=80&v=4"},"commit":{"message":"Do not create comparison result when not needed","shortMessageHtmlLink":"Do not create comparison result when not needed"}},{"before":"13501295deca09f0b1d6bf3fbbbe27514559063d","after":"bfacd523adca11f8d8cb87531e4274183d1414c7","ref":"refs/heads/master","pushedAt":"2024-05-07T14:02:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"valis","name":null,"path":"/valis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/623606?s=80&v=4"},"commit":{"message":"Fix stackoverflow in super class name resolution\n\nFixes #341","shortMessageHtmlLink":"Fix stackoverflow in super class name resolution"}},{"before":"8264da5cb2b8e882179886c8e4c4b4f20bdb2333","after":"13501295deca09f0b1d6bf3fbbbe27514559063d","ref":"refs/heads/master","pushedAt":"2024-05-07T13:58:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"valis","name":null,"path":"/valis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/623606?s=80&v=4"},"commit":{"message":"Fix a bug with external variables and coclauses","shortMessageHtmlLink":"Fix a bug with external variables and coclauses"}},{"before":"38fe801b855171ccdf7fd682380ac827e1c0f199","after":"8264da5cb2b8e882179886c8e4c4b4f20bdb2333","ref":"refs/heads/master","pushedAt":"2024-05-07T08:26:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"valis","name":null,"path":"/valis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/623606?s=80&v=4"},"commit":{"message":"Fix a bug with eliminated external variables\n\nFixes #339","shortMessageHtmlLink":"Fix a bug with eliminated external variables"}},{"before":"a8a2cf1d3bc1a860665e334f40a3eff8985a92f7","after":"38fe801b855171ccdf7fd682380ac827e1c0f199","ref":"refs/heads/master","pushedAt":"2024-05-06T18:10:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"valis","name":null,"path":"/valis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/623606?s=80&v=4"},"commit":{"message":"Make constructors and fields of private data and records private","shortMessageHtmlLink":"Make constructors and fields of private data and records private"}},{"before":"a9399d9b498025b27fc381c3a21aa748cf510b1d","after":"a8a2cf1d3bc1a860665e334f40a3eff8985a92f7","ref":"refs/heads/master","pushedAt":"2024-04-24T17:44:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"valis","name":null,"path":"/valis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/623606?s=80&v=4"},"commit":{"message":"Fix stackoverflow in SubstExpression","shortMessageHtmlLink":"Fix stackoverflow in SubstExpression"}},{"before":"5d1df8906d56f0d0b4a6b960b6e19c719b1a72dc","after":"a9399d9b498025b27fc381c3a21aa748cf510b1d","ref":"refs/heads/master","pushedAt":"2024-04-18T16:24:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"valis","name":null,"path":"/valis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/623606?s=80&v=4"},"commit":{"message":"Fix a bug in ClassCallExpression","shortMessageHtmlLink":"Fix a bug in ClassCallExpression"}},{"before":"f72884aa8a4d04e695df8c5b506a8f4e852717c4","after":"5d1df8906d56f0d0b4a6b960b6e19c719b1a72dc","ref":"refs/heads/master","pushedAt":"2024-04-18T07:42:44.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"valis","name":null,"path":"/valis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/623606?s=80&v=4"},"commit":{"message":"Fix an issue with comparison of inference variables","shortMessageHtmlLink":"Fix an issue with comparison of inference variables"}},{"before":"19f9a2adba5dfd4d8c462041a31783a4d0110423","after":"f72884aa8a4d04e695df8c5b506a8f4e852717c4","ref":"refs/heads/master","pushedAt":"2024-04-18T06:46:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"valis","name":null,"path":"/valis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/623606?s=80&v=4"},"commit":{"message":"Improve type mismatch with subexpression error","shortMessageHtmlLink":"Improve type mismatch with subexpression error"}},{"before":"a190b8236a02630dc745bc5052d0f912a3cbc04b","after":"19f9a2adba5dfd4d8c462041a31783a4d0110423","ref":"refs/heads/master","pushedAt":"2024-04-17T16:46:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"valis","name":null,"path":"/valis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/623606?s=80&v=4"},"commit":{"message":"Fix a bug with TypeMismatchWithSubexprError","shortMessageHtmlLink":"Fix a bug with TypeMismatchWithSubexprError"}},{"before":"11bc308a09543ecc163554b33aeab94d9900c0ad","after":"a190b8236a02630dc745bc5052d0f912a3cbc04b","ref":"refs/heads/master","pushedAt":"2024-04-16T04:16:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"valis","name":null,"path":"/valis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/623606?s=80&v=4"},"commit":{"message":"Implement expression prettifier and local expression prettifier","shortMessageHtmlLink":"Implement expression prettifier and local expression prettifier"}},{"before":"679026cb4e63f4f0639a505849f813d7dc7965ab","after":"11bc308a09543ecc163554b33aeab94d9900c0ad","ref":"refs/heads/master","pushedAt":"2024-03-24T14:15:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"valis","name":null,"path":"/valis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/623606?s=80&v=4"},"commit":{"message":"Do not print the name when it's empty","shortMessageHtmlLink":"Do not print the name when it's empty"}},{"before":"95c511a8a380a3a9229a654abd1565baaacead93","after":"679026cb4e63f4f0639a505849f813d7dc7965ab","ref":"refs/heads/master","pushedAt":"2024-03-22T06:39:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"valis","name":null,"path":"/valis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/623606?s=80&v=4"},"commit":{"message":"Add some functions to resolver API","shortMessageHtmlLink":"Add some functions to resolver API"}},{"before":"da10a8bb62574c57e534966c163c3efaaca82cd6","after":"95c511a8a380a3a9229a654abd1565baaacead93","ref":"refs/heads/master","pushedAt":"2024-03-21T08:00:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"valis","name":null,"path":"/valis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/623606?s=80&v=4"},"commit":{"message":"Fix a bug with coelim in lemmas","shortMessageHtmlLink":"Fix a bug with coelim in lemmas"}},{"before":"7b818577047274248f027d13f9869ff56b745c55","after":"da10a8bb62574c57e534966c163c3efaaca82cd6","ref":"refs/heads/master","pushedAt":"2024-03-19T15:37:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"valis","name":null,"path":"/valis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/623606?s=80&v=4"},"commit":{"message":"Fix bugs in module loading","shortMessageHtmlLink":"Fix bugs in module loading"}},{"before":"d4657d1afed869bfe350b580bb7fc320a1e021e8","after":"7b818577047274248f027d13f9869ff56b745c55","ref":"refs/heads/master","pushedAt":"2024-03-18T16:34:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"valis","name":null,"path":"/valis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/623606?s=80&v=4"},"commit":{"message":"Improve universe checker","shortMessageHtmlLink":"Improve universe checker"}},{"before":"4211b833ecdd4c18b9244dd18a5d1a1e2ba8e044","after":"d4657d1afed869bfe350b580bb7fc320a1e021e8","ref":"refs/heads/master","pushedAt":"2024-03-06T17:53:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"valis","name":null,"path":"/valis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/623606?s=80&v=4"},"commit":{"message":"Allow more unicode symbols","shortMessageHtmlLink":"Allow more unicode symbols"}},{"before":"9c8c5ebc93052b1724b5db645b677a4c4bdcabd4","after":"4211b833ecdd4c18b9244dd18a5d1a1e2ba8e044","ref":"refs/heads/master","pushedAt":"2024-03-04T16:07:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"valis","name":null,"path":"/valis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/623606?s=80&v=4"},"commit":{"message":"Fix a bug with external variables","shortMessageHtmlLink":"Fix a bug with external variables"}},{"before":"dc6586e2df319658d33f18af32bd710d85e130ad","after":"9c8c5ebc93052b1724b5db645b677a4c4bdcabd4","ref":"refs/heads/master","pushedAt":"2024-03-03T21:00:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"valis","name":null,"path":"/valis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/623606?s=80&v=4"},"commit":{"message":"Fix a bug with class comparison","shortMessageHtmlLink":"Fix a bug with class comparison"}},{"before":"be4b827c19f5c8247b9262d250af667955bb5883","after":"dc6586e2df319658d33f18af32bd710d85e130ad","ref":"refs/heads/master","pushedAt":"2024-03-03T20:56:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"valis","name":null,"path":"/valis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/623606?s=80&v=4"},"commit":{"message":"Fix a bug with class field parameters","shortMessageHtmlLink":"Fix a bug with class field parameters"}},{"before":"b97381ea16f99c28774795afa502c8eb8948c2df","after":"be4b827c19f5c8247b9262d250af667955bb5883","ref":"refs/heads/master","pushedAt":"2024-03-03T07:46:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"valis","name":null,"path":"/valis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/623606?s=80&v=4"},"commit":{"message":"Add level minimization method to API","shortMessageHtmlLink":"Add level minimization method to API"}},{"before":"717ad06ae99d4e7d6242f2567a76fd9a88ad28fc","after":"b97381ea16f99c28774795afa502c8eb8948c2df","ref":"refs/heads/master","pushedAt":"2024-03-02T17:38:04.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"valis","name":null,"path":"/valis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/623606?s=80&v=4"},"commit":{"message":"Fix a bug with pattern matching with idp","shortMessageHtmlLink":"Fix a bug with pattern matching with idp"}},{"before":"da1bf368ecfc919efc877067be07d327981f086e","after":"717ad06ae99d4e7d6242f2567a76fd9a88ad28fc","ref":"refs/heads/master","pushedAt":"2024-03-01T09:51:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"valis","name":null,"path":"/valis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/623606?s=80&v=4"},"commit":{"message":"Fix a bug with mutually recursive definitions and external parameters","shortMessageHtmlLink":"Fix a bug with mutually recursive definitions and external parameters"}},{"before":"1c5b5bfc98f58a4cafc92ab0969c12515ac67e67","after":"da1bf368ecfc919efc877067be07d327981f086e","ref":"refs/heads/master","pushedAt":"2024-02-29T20:48:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"valis","name":null,"path":"/valis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/623606?s=80&v=4"},"commit":{"message":"Create a subclass in CheckTypeVisitor","shortMessageHtmlLink":"Create a subclass in CheckTypeVisitor"}},{"before":"44d1ad0bd06b78f5615bbc07177624e0f8130ee3","after":"1c5b5bfc98f58a4cafc92ab0969c12515ac67e67","ref":"refs/heads/master","pushedAt":"2024-02-29T20:41:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"valis","name":null,"path":"/valis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/623606?s=80&v=4"},"commit":{"message":"Fix comparison of incomplete expressions","shortMessageHtmlLink":"Fix comparison of incomplete expressions"}},{"before":"7a73642f336cf0b81335ea474880d3dbf5cd8426","after":"44d1ad0bd06b78f5615bbc07177624e0f8130ee3","ref":"refs/heads/master","pushedAt":"2024-02-29T17:03:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"valis","name":null,"path":"/valis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/623606?s=80&v=4"},"commit":{"message":"Fix a bug with idp patterns","shortMessageHtmlLink":"Fix a bug with idp patterns"}},{"before":"03c3997d5310fe250e26524f773a7e1a59b4eb67","after":"7a73642f336cf0b81335ea474880d3dbf5cd8426","ref":"refs/heads/master","pushedAt":"2024-02-29T16:46:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"valis","name":null,"path":"/valis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/623606?s=80&v=4"},"commit":{"message":"Add a method for unfolding \\type to API","shortMessageHtmlLink":"Add a method for unfolding \\type to API"}},{"before":"4ea5828c2c54afdc5ab5da95a004e3db5438974b","after":"03c3997d5310fe250e26524f773a7e1a59b4eb67","ref":"refs/heads/master","pushedAt":"2024-02-29T10:08:58.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"valis","name":null,"path":"/valis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/623606?s=80&v=4"},"commit":{"message":"Fix NPE","shortMessageHtmlLink":"Fix NPE"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEVBZoOQA","startCursor":null,"endCursor":null}},"title":"Activity · JetBrains/Arend"}