{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":695680265,"defaultBranch":"main","name":"minuska","ownerLogin":"h0nzZik","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-09-23T21:55:20.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/773581?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1720885843.0","currentOid":""},"activityList":{"items":[{"before":"1212b9b4787b232fc40720454109d6dfd9fc1eaf","after":"835342d4e2911b55aed98ce4b6b11f7d778d9203","ref":"refs/heads/symex-6","pushedAt":"2024-08-18T14:52:23.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"h0nzZik","name":"Jan Tusil","path":"/h0nzZik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/773581?s=80&v=4"},"commit":{"message":"WIP","shortMessageHtmlLink":"WIP"}},{"before":"61bb0eae2f9d662bd1fb82f1e610b0401a8853e6","after":"1212b9b4787b232fc40720454109d6dfd9fc1eaf","ref":"refs/heads/symex-6","pushedAt":"2024-08-14T15:06:18.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"h0nzZik","name":"Jan Tusil","path":"/h0nzZik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/773581?s=80&v=4"},"commit":{"message":"helper lemma","shortMessageHtmlLink":"helper lemma"}},{"before":"4198a6426ed39d1ca558cc5b5d0bebe8d182bfdf","after":"61bb0eae2f9d662bd1fb82f1e610b0401a8853e6","ref":"refs/heads/symex-6","pushedAt":"2024-08-14T14:09:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"h0nzZik","name":"Jan Tusil","path":"/h0nzZik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/773581?s=80&v=4"},"commit":{"message":"helper_lemma_3_ex","shortMessageHtmlLink":"helper_lemma_3_ex"}},{"before":"cf59e996ec55c81389afdc4fc950604fbdc1753c","after":"4198a6426ed39d1ca558cc5b5d0bebe8d182bfdf","ref":"refs/heads/symex-6","pushedAt":"2024-08-14T13:57:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"h0nzZik","name":"Jan Tusil","path":"/h0nzZik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/773581?s=80&v=4"},"commit":{"message":"mvoe stuff around","shortMessageHtmlLink":"mvoe stuff around"}},{"before":"7d8f26311502f6bdaf37ce43fb96ae463af6eca8","after":"cf59e996ec55c81389afdc4fc950604fbdc1753c","ref":"refs/heads/symex-6","pushedAt":"2024-08-14T13:56:18.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"h0nzZik","name":"Jan Tusil","path":"/h0nzZik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/773581?s=80&v=4"},"commit":{"message":"WIP","shortMessageHtmlLink":"WIP"}},{"before":"80544ff50f8ed052152cc78ee19074adf4cacb2b","after":"7d8f26311502f6bdaf37ce43fb96ae463af6eca8","ref":"refs/heads/symex-6","pushedAt":"2024-08-14T12:07:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"h0nzZik","name":"Jan Tusil","path":"/h0nzZik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/773581?s=80&v=4"},"commit":{"message":"set_default_variables_works'","shortMessageHtmlLink":"set_default_variables_works'"}},{"before":"a5da343ae35e6064e05713d9635da5a5b9be92c1","after":"80544ff50f8ed052152cc78ee19074adf4cacb2b","ref":"refs/heads/symex-6","pushedAt":"2024-08-14T11:00:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"h0nzZik","name":"Jan Tusil","path":"/h0nzZik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/773581?s=80&v=4"},"commit":{"message":"an observation","shortMessageHtmlLink":"an observation"}},{"before":"0b2df5f4beae333611a4cb83f3a22f92a477323f","after":"a5da343ae35e6064e05713d9635da5a5b9be92c1","ref":"refs/heads/symex-6","pushedAt":"2024-08-14T10:17:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"h0nzZik","name":"Jan Tusil","path":"/h0nzZik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/773581?s=80&v=4"},"commit":{"message":"WIP","shortMessageHtmlLink":"WIP"}},{"before":"1f8212680dbae6e58c6173e754b9504fdec4c3d8","after":"0b2df5f4beae333611a4cb83f3a22f92a477323f","ref":"refs/heads/symex-6","pushedAt":"2024-08-14T10:12:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"h0nzZik","name":"Jan Tusil","path":"/h0nzZik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/773581?s=80&v=4"},"commit":{"message":"WIP","shortMessageHtmlLink":"WIP"}},{"before":"628462713b50ca73896475fb0152bdc962614e30","after":"1f8212680dbae6e58c6173e754b9504fdec4c3d8","ref":"refs/heads/symex-6","pushedAt":"2024-08-14T10:07:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"h0nzZik","name":"Jan Tusil","path":"/h0nzZik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/773581?s=80&v=4"},"commit":{"message":"progress","shortMessageHtmlLink":"progress"}},{"before":"3c4fab42ba8aaed261851b478783804c3ab6a065","after":"628462713b50ca73896475fb0152bdc962614e30","ref":"refs/heads/symex-6","pushedAt":"2024-08-14T09:56:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"h0nzZik","name":"Jan Tusil","path":"/h0nzZik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/773581?s=80&v=4"},"commit":{"message":"progress","shortMessageHtmlLink":"progress"}},{"before":"e6598a75d4a32a40b78415df5cf9876f674e9892","after":"3c4fab42ba8aaed261851b478783804c3ab6a065","ref":"refs/heads/symex-6","pushedAt":"2024-08-14T09:41:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"h0nzZik","name":"Jan Tusil","path":"/h0nzZik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/773581?s=80&v=4"},"commit":{"message":"progress","shortMessageHtmlLink":"progress"}},{"before":"f12219c91ffda974dd6c14b5b5d93c004dcdd4cc","after":"e6598a75d4a32a40b78415df5cf9876f674e9892","ref":"refs/heads/symex-6","pushedAt":"2024-08-14T09:36:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"h0nzZik","name":"Jan Tusil","path":"/h0nzZik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/773581?s=80&v=4"},"commit":{"message":"sub_wf_app_disjoint","shortMessageHtmlLink":"sub_wf_app_disjoint"}},{"before":"b9a5a5fa0c88348298fefc5434e5ae5f81bc0c21","after":"f12219c91ffda974dd6c14b5b5d93c004dcdd4cc","ref":"refs/heads/symex-6","pushedAt":"2024-08-14T09:33:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"h0nzZik","name":"Jan Tusil","path":"/h0nzZik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/773581?s=80&v=4"},"commit":{"message":"wfsub_subseteq_snd","shortMessageHtmlLink":"wfsub_subseteq_snd"}},{"before":"9e2ea541376aab479bc0f6c1df60d5a9b40f2110","after":"b9a5a5fa0c88348298fefc5434e5ae5f81bc0c21","ref":"refs/heads/symex-6","pushedAt":"2024-08-14T08:39:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"h0nzZik","name":"Jan Tusil","path":"/h0nzZik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/773581?s=80&v=4"},"commit":{"message":"wfsub_subseteq","shortMessageHtmlLink":"wfsub_subseteq"}},{"before":"31d88fc84dc7cf4a117a985326c0e7a921774568","after":"9e2ea541376aab479bc0f6c1df60d5a9b40f2110","ref":"refs/heads/symex-6","pushedAt":"2024-08-14T08:23:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"h0nzZik","name":"Jan Tusil","path":"/h0nzZik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/773581?s=80&v=4"},"commit":{"message":"wfsub_weaken","shortMessageHtmlLink":"wfsub_weaken"}},{"before":"1231791127606d83fbd6b84d738307c2d538e2a3","after":"31d88fc84dc7cf4a117a985326c0e7a921774568","ref":"refs/heads/symex-6","pushedAt":"2024-08-13T21:20:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"h0nzZik","name":"Jan Tusil","path":"/h0nzZik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/773581?s=80&v=4"},"commit":{"message":"WIP","shortMessageHtmlLink":"WIP"}},{"before":"0379d7267285c5f350e2fb6f5b2ff68773b6f7e2","after":"1231791127606d83fbd6b84d738307c2d538e2a3","ref":"refs/heads/symex-6","pushedAt":"2024-08-13T20:53:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"h0nzZik","name":"Jan Tusil","path":"/h0nzZik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/773581?s=80&v=4"},"commit":{"message":"sub_app_helper","shortMessageHtmlLink":"sub_app_helper"}},{"before":"c0e092c1e7ec52cd9545b27c88bc3dd837171136","after":"0379d7267285c5f350e2fb6f5b2ff68773b6f7e2","ref":"refs/heads/symex-6","pushedAt":"2024-08-13T18:00:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"h0nzZik","name":"Jan Tusil","path":"/h0nzZik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/773581?s=80&v=4"},"commit":{"message":"comments","shortMessageHtmlLink":"comments"}},{"before":"1fae675b9ecdf62e4bf9fce16499bc3e97ab4d5f","after":"c0e092c1e7ec52cd9545b27c88bc3dd837171136","ref":"refs/heads/symex-6","pushedAt":"2024-08-13T14:02:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"h0nzZik","name":"Jan Tusil","path":"/h0nzZik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/773581?s=80&v=4"},"commit":{"message":"WIP","shortMessageHtmlLink":"WIP"}},{"before":"c55d3648392dd919fd14a73cadb4b29024f92451","after":"1fae675b9ecdf62e4bf9fce16499bc3e97ab4d5f","ref":"refs/heads/symex-6","pushedAt":"2024-08-13T13:10:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"h0nzZik","name":"Jan Tusil","path":"/h0nzZik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/773581?s=80&v=4"},"commit":{"message":"vars_of_sub_Valuation2_to_SubT","shortMessageHtmlLink":"vars_of_sub_Valuation2_to_SubT"}},{"before":"b5ef1bc074a459a90e147fb900f4d4735ded3768","after":"c55d3648392dd919fd14a73cadb4b29024f92451","ref":"refs/heads/symex-6","pushedAt":"2024-08-13T11:06:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"h0nzZik","name":"Jan Tusil","path":"/h0nzZik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/773581?s=80&v=4"},"commit":{"message":"sub_app_identity","shortMessageHtmlLink":"sub_app_identity"}},{"before":"a71dcea15b16ea56e263849dcd29e3b03e05ce69","after":"b5ef1bc074a459a90e147fb900f4d4735ded3768","ref":"refs/heads/symex-6","pushedAt":"2024-08-13T10:57:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"h0nzZik","name":"Jan Tusil","path":"/h0nzZik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/773581?s=80&v=4"},"commit":{"message":"cleanup","shortMessageHtmlLink":"cleanup"}},{"before":"bd113e80a67ff2d6e1892d218f3edf7c12800ecf","after":"a71dcea15b16ea56e263849dcd29e3b03e05ce69","ref":"refs/heads/symex-6","pushedAt":"2024-08-13T10:51:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"h0nzZik","name":"Jan Tusil","path":"/h0nzZik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/773581?s=80&v=4"},"commit":{"message":"WIP","shortMessageHtmlLink":"WIP"}},{"before":"0e1d08745d0bfaa71ad6e7901eccbb86588034ba","after":"bd113e80a67ff2d6e1892d218f3edf7c12800ecf","ref":"refs/heads/symex-6","pushedAt":"2024-08-13T10:18:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"h0nzZik","name":"Jan Tusil","path":"/h0nzZik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/773581?s=80&v=4"},"commit":{"message":"TermOverBuiltin_to_TermOverBoV__inv\n\nThe proof was tricky.","shortMessageHtmlLink":"TermOverBuiltin_to_TermOverBoV__inv"}},{"before":"9e224b0c207b1cdfa917719973ce0d9858e6cd9b","after":"0e1d08745d0bfaa71ad6e7901eccbb86588034ba","ref":"refs/heads/symex-6","pushedAt":"2024-08-13T10:16:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"h0nzZik","name":"Jan Tusil","path":"/h0nzZik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/773581?s=80&v=4"},"commit":{"message":"WIP","shortMessageHtmlLink":"WIP"}},{"before":"a64406332418769a79926c77cf13ab8f97255b30","after":"9e224b0c207b1cdfa917719973ce0d9858e6cd9b","ref":"refs/heads/symex-6","pushedAt":"2024-08-13T08:56:12.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"h0nzZik","name":"Jan Tusil","path":"/h0nzZik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/773581?s=80&v=4"},"commit":{"message":"Valuation2_to_SubT__insert","shortMessageHtmlLink":"Valuation2_to_SubT__insert"}},{"before":"728390809959ef1760474884397bd31a600a8a8c","after":"a64406332418769a79926c77cf13ab8f97255b30","ref":"refs/heads/symex-6","pushedAt":"2024-08-13T08:06:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"h0nzZik","name":"Jan Tusil","path":"/h0nzZik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/773581?s=80&v=4"},"commit":{"message":"sub_app_nodup_perm","shortMessageHtmlLink":"sub_app_nodup_perm"}},{"before":"0fc89b584d85c419396cce54d6db444265e5665a","after":"728390809959ef1760474884397bd31a600a8a8c","ref":"refs/heads/symex-6","pushedAt":"2024-08-13T08:03:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"h0nzZik","name":"Jan Tusil","path":"/h0nzZik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/773581?s=80&v=4"},"commit":{"message":"TermOverBoV_subst_comm","shortMessageHtmlLink":"TermOverBoV_subst_comm"}},{"before":"40f9af75e9f042e4a525ff7af2ea6b93132d681b","after":"0fc89b584d85c419396cce54d6db444265e5665a","ref":"refs/heads/symex-6","pushedAt":"2024-08-13T07:45:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"h0nzZik","name":"Jan Tusil","path":"/h0nzZik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/773581?s=80&v=4"},"commit":{"message":"Valuation2_to_SubT__NoDup_1","shortMessageHtmlLink":"Valuation2_to_SubT__NoDup_1"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0xOFQxNDo1MjoyMy4wMDAwMDBazwAAAASdU29f","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0xOFQxNDo1MjoyMy4wMDAwMDBazwAAAASdU29f","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0xM1QwNzo0NTowOC4wMDAwMDBazwAAAASY5Rv7"}},"title":"Activity · h0nzZik/minuska"}