{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":40336727,"defaultBranch":"master","name":"sel4-tutorials","ownerLogin":"seL4","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2015-08-07T02:23:59.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/6878957?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1720674996.0","currentOid":""},"activityList":{"items":[{"before":"9fcf0d9c909c8e502042851cf49c5df46e5e7253","after":null,"ref":"refs/heads/pyaml","pushedAt":"2024-07-11T05:16:36.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"lsf37","name":"Gerwin Klein","path":"/lsf37","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5506585?s=80&v=4"}},{"before":"74530e91cc2576a79f9dba50a985e90ed0beb917","after":"6a6fef6a50b2dd2a07e2bf37e53e533d81e4e560","ref":"refs/heads/master","pushedAt":"2024-07-11T05:16:34.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"lsf37","name":"Gerwin Klein","path":"/lsf37","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5506585?s=80&v=4"},"commit":{"message":"tools/context: use yaml instead of pyaml\n\nAccording to the sel4-deps 0.4.0 commit message, we don't want Pretty\nYaml (pyaml), but just `yaml` instead. For here, this should be true.\n\nSigned-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>","shortMessageHtmlLink":"tools/context: use yaml instead of pyaml"}},{"before":null,"after":"9fcf0d9c909c8e502042851cf49c5df46e5e7253","ref":"refs/heads/pyaml","pushedAt":"2024-07-11T04:02:36.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"lsf37","name":"Gerwin Klein","path":"/lsf37","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5506585?s=80&v=4"},"commit":{"message":"tools/context: use yaml instead of pyaml\n\nAccording to the sel4-deps 0.4.0 commit message, we don't want Pretty\nYaml (pyaml), but just `yaml` instead. For here, this should be true.\n\nSigned-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>","shortMessageHtmlLink":"tools/context: use yaml instead of pyaml"}},{"before":null,"after":"74530e91cc2576a79f9dba50a985e90ed0beb917","ref":"refs/heads/camkes-3.11.x-compatible","pushedAt":"2024-07-02T01:39:21.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"lsf37","name":"Gerwin Klein","path":"/lsf37","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5506585?s=80&v=4"},"commit":{"message":"camkes-vm-linux: trivial: typo\n\n- function name vm_run() fixed\n\nSigned-off-by: Nataliya Korovkina <malus.brandywine@gmail.com>","shortMessageHtmlLink":"camkes-vm-linux: trivial: typo"}},{"before":"e3df782b7c6f7e7ba41992394e8d12a7d9252c8f","after":"74530e91cc2576a79f9dba50a985e90ed0beb917","ref":"refs/heads/master","pushedAt":"2024-06-17T02:23:53.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"lsf37","name":"Gerwin Klein","path":"/lsf37","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5506585?s=80&v=4"},"commit":{"message":"camkes-vm-linux: trivial: typo\n\n- function name vm_run() fixed\n\nSigned-off-by: Nataliya Korovkina <malus.brandywine@gmail.com>","shortMessageHtmlLink":"camkes-vm-linux: trivial: typo"}},{"before":"359f4fd5a14eefd781d3d7793cdced0d57fa962a","after":"e3df782b7c6f7e7ba41992394e8d12a7d9252c8f","ref":"refs/heads/master","pushedAt":"2023-12-13T17:40:13.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"lsf37","name":"Gerwin Klein","path":"/lsf37","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5506585?s=80&v=4"},"commit":{"message":"Update capabilities.md\n\n* Fix missing bracket\r\n* Fix typo\n\nSigned-off-by: Szymon Duchniewicz <szymon.duchniewicz.20@ucl.ac.uk>","shortMessageHtmlLink":"Update capabilities.md"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEfG675wA","startCursor":null,"endCursor":null}},"title":"Activity · seL4/sel4-tutorials"}