{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":704544013,"defaultBranch":"main","name":"protocol-verification","ownerLogin":"IvanSobko","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-10-13T13:38:38.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/48318603?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1697204367.0","currentOid":""},"activityList":{"items":[{"before":"cbe841434c893793f42bb2e809bff4b0c41d61fd","after":"8e93208550d987d644d15b5e611144cb36c8d0ac","ref":"refs/heads/main","pushedAt":"2023-10-15T17:11:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"IvanSobko","name":"Ivan Sobko","path":"/IvanSobko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48318603?s=80&v=4"},"commit":{"message":"fix Unique Credentials lemma","shortMessageHtmlLink":"fix Unique Credentials lemma"}},{"before":"c8f5bc53e882789b23d6ee164cded2b27832cc50","after":"cbe841434c893793f42bb2e809bff4b0c41d61fd","ref":"refs/heads/main","pushedAt":"2023-10-15T16:52:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"IvanSobko","name":"Ivan Sobko","path":"/IvanSobko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48318603?s=80&v=4"},"commit":{"message":"completed other lemmas","shortMessageHtmlLink":"completed other lemmas"}},{"before":"e36f3739b9d0941e82ae46f8ea07afda5fe26825","after":"c8f5bc53e882789b23d6ee164cded2b27832cc50","ref":"refs/heads/main","pushedAt":"2023-10-15T14:39:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"IvanSobko","name":"Ivan Sobko","path":"/IvanSobko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48318603?s=80&v=4"},"commit":{"message":"fixed first lemma","shortMessageHtmlLink":"fixed first lemma"}},{"before":"d53108514604f20eb75a7b47ddf7fa3597cd4480","after":"e36f3739b9d0941e82ae46f8ea07afda5fe26825","ref":"refs/heads/main","pushedAt":"2023-10-15T11:11:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"IvanSobko","name":"Ivan Sobko","path":"/IvanSobko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48318603?s=80&v=4"},"commit":{"message":"implement first lemma","shortMessageHtmlLink":"implement first lemma"}},{"before":"9a2df40b74113981787717dd2ef41653174b747e","after":"d53108514604f20eb75a7b47ddf7fa3597cd4480","ref":"refs/heads/main","pushedAt":"2023-10-14T19:04:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"IvanSobko","name":"Ivan Sobko","path":"/IvanSobko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48318603?s=80&v=4"},"commit":{"message":"implement OIDC protocol","shortMessageHtmlLink":"implement OIDC protocol"}},{"before":"c55aaacc5ea4945aec91c39b819ae4db7cbabc96","after":"9a2df40b74113981787717dd2ef41653174b747e","ref":"refs/heads/main","pushedAt":"2023-10-14T13:36:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"IvanSobko","name":"Ivan Sobko","path":"/IvanSobko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48318603?s=80&v=4"},"commit":{"message":"lab2: init commit","shortMessageHtmlLink":"lab2: init commit"}},{"before":"c757a2e40bfa9282624b9e8ba14f7cb97050a111","after":"c55aaacc5ea4945aec91c39b819ae4db7cbabc96","ref":"refs/heads/main","pushedAt":"2023-10-14T13:23:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"IvanSobko","name":"Ivan Sobko","path":"/IvanSobko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48318603?s=80&v=4"},"commit":{"message":"complete task 1.6","shortMessageHtmlLink":"complete task 1.6"}},{"before":"4da1f17084ea77be47bac088a003c2f2c79cb311","after":"c757a2e40bfa9282624b9e8ba14f7cb97050a111","ref":"refs/heads/main","pushedAt":"2023-10-13T13:48:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"IvanSobko","name":"Ivan Sobko","path":"/IvanSobko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48318603?s=80&v=4"},"commit":{"message":"protocol 3 without adversary capabilities","shortMessageHtmlLink":"protocol 3 without adversary capabilities"}},{"before":"0470ee4bd2c9d3d685dd93025a194eed0aa29de7","after":"4da1f17084ea77be47bac088a003c2f2c79cb311","ref":"refs/heads/main","pushedAt":"2023-10-13T13:41:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"IvanSobko","name":"Ivan Sobko","path":"/IvanSobko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48318603?s=80&v=4"},"commit":{"message":"complete lab1: protocol 1 and 2","shortMessageHtmlLink":"complete lab1: protocol 1 and 2"}},{"before":"af16bc409797b44304fa8495478b87e98cec8b15","after":"0470ee4bd2c9d3d685dd93025a194eed0aa29de7","ref":"refs/heads/main","pushedAt":"2023-10-13T13:40:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"IvanSobko","name":"Ivan Sobko","path":"/IvanSobko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48318603?s=80&v=4"},"commit":{"message":"add diffie-helman protocol example","shortMessageHtmlLink":"add diffie-helman protocol example"}},{"before":null,"after":"af16bc409797b44304fa8495478b87e98cec8b15","ref":"refs/heads/main","pushedAt":"2023-10-13T13:39:27.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"IvanSobko","name":"Ivan Sobko","path":"/IvanSobko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48318603?s=80&v=4"},"commit":{"message":"init commit","shortMessageHtmlLink":"init commit"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADl3TPSwA","startCursor":null,"endCursor":null}},"title":"Activity · IvanSobko/protocol-verification"}