{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":126283516,"defaultBranch":"master","name":"docs","ownerLogin":"seL4","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2018-03-22T05:20:08.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/6878957?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1723788297.0","currentOid":""},"activityList":{"items":[{"before":"eba120a9ea1df81b4d229b4d684113f99bb221f9","after":"1803c3e3421bb26d1a97661aff9c2eff539ffa81","ref":"refs/heads/gh-pages","pushedAt":"2024-08-17T03:15:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"seL4-ci","name":"seL4 CI account","path":"/seL4-ci","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88766620?s=80&v=4"},"commit":{"message":"auto-deployed","shortMessageHtmlLink":"auto-deployed"}},{"before":null,"after":"79bd042e0bd9801c8f3efc373b999283ccfb921e","ref":"refs/heads/microkit_1.4.1","pushedAt":"2024-08-16T06:04:57.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Ivan-Velickovic","name":"Ivan Velickovic","path":"/Ivan-Velickovic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10481259?s=80&v=4"},"commit":{"message":"Add Microkit 1.4.1 release\n\nSigned-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>","shortMessageHtmlLink":"Add Microkit 1.4.1 release"}},{"before":"fdf84c4018c117346b5acf815769af32603ea830","after":"eba120a9ea1df81b4d229b4d684113f99bb221f9","ref":"refs/heads/gh-pages","pushedAt":"2024-08-16T03:15:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"seL4-ci","name":"seL4 CI account","path":"/seL4-ci","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88766620?s=80&v=4"},"commit":{"message":"auto-deployed","shortMessageHtmlLink":"auto-deployed"}},{"before":"a6526f65ae6da7817729b8cce3e54c4f8881a090","after":"fdf84c4018c117346b5acf815769af32603ea830","ref":"refs/heads/gh-pages","pushedAt":"2024-08-15T03:15:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"seL4-ci","name":"seL4 CI account","path":"/seL4-ci","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88766620?s=80&v=4"},"commit":{"message":"auto-deployed","shortMessageHtmlLink":"auto-deployed"}},{"before":"51d8cf2096e7349eaf26a39f2f4d8c6ae3349049","after":"a6526f65ae6da7817729b8cce3e54c4f8881a090","ref":"refs/heads/gh-pages","pushedAt":"2024-08-14T03:15:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"seL4-ci","name":"seL4 CI account","path":"/seL4-ci","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88766620?s=80&v=4"},"commit":{"message":"auto-deployed","shortMessageHtmlLink":"auto-deployed"}},{"before":"a1de093d456d14c82b4d8ac64a7144acc104181a","after":"51d8cf2096e7349eaf26a39f2f4d8c6ae3349049","ref":"refs/heads/gh-pages","pushedAt":"2024-08-13T03:15:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"seL4-ci","name":"seL4 CI account","path":"/seL4-ci","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88766620?s=80&v=4"},"commit":{"message":"auto-deployed","shortMessageHtmlLink":"auto-deployed"}},{"before":"ef4aff9600f3792f4b9f77911d2523d900099c00","after":"a1de093d456d14c82b4d8ac64a7144acc104181a","ref":"refs/heads/gh-pages","pushedAt":"2024-08-12T03:15:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"seL4-ci","name":"seL4 CI account","path":"/seL4-ci","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88766620?s=80&v=4"},"commit":{"message":"auto-deployed","shortMessageHtmlLink":"auto-deployed"}},{"before":"b6549ca7016dcfa2b00d8cd77a8906b55a09131f","after":"ef4aff9600f3792f4b9f77911d2523d900099c00","ref":"refs/heads/gh-pages","pushedAt":"2024-08-11T03:15:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"seL4-ci","name":"seL4 CI account","path":"/seL4-ci","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88766620?s=80&v=4"},"commit":{"message":"auto-deployed","shortMessageHtmlLink":"auto-deployed"}},{"before":"374c9560177f02fce9ab33cf4444deff8d55a734","after":"b6549ca7016dcfa2b00d8cd77a8906b55a09131f","ref":"refs/heads/gh-pages","pushedAt":"2024-08-10T03:15:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"seL4-ci","name":"seL4 CI account","path":"/seL4-ci","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88766620?s=80&v=4"},"commit":{"message":"auto-deployed","shortMessageHtmlLink":"auto-deployed"}},{"before":"e89903fd3623af9491a8c1ceb4a016835ca08f31","after":"374c9560177f02fce9ab33cf4444deff8d55a734","ref":"refs/heads/gh-pages","pushedAt":"2024-08-09T03:15:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"seL4-ci","name":"seL4 CI account","path":"/seL4-ci","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88766620?s=80&v=4"},"commit":{"message":"auto-deployed","shortMessageHtmlLink":"auto-deployed"}},{"before":"9ecef0102d7b3144f803b1eeb84fe164c90d9438","after":"e89903fd3623af9491a8c1ceb4a016835ca08f31","ref":"refs/heads/gh-pages","pushedAt":"2024-08-08T03:15:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"seL4-ci","name":"seL4 CI account","path":"/seL4-ci","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88766620?s=80&v=4"},"commit":{"message":"auto-deployed","shortMessageHtmlLink":"auto-deployed"}},{"before":"57f0efbde268c8ec15c2dfacaaa489941cc28e93","after":"9ecef0102d7b3144f803b1eeb84fe164c90d9438","ref":"refs/heads/gh-pages","pushedAt":"2024-08-07T03:15:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"seL4-ci","name":"seL4 CI account","path":"/seL4-ci","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88766620?s=80&v=4"},"commit":{"message":"auto-deployed","shortMessageHtmlLink":"auto-deployed"}},{"before":"892584dc1fa2f9a3d2132c5ff99185ae90b29035","after":"57f0efbde268c8ec15c2dfacaaa489941cc28e93","ref":"refs/heads/gh-pages","pushedAt":"2024-08-06T03:15:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"seL4-ci","name":"seL4 CI account","path":"/seL4-ci","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88766620?s=80&v=4"},"commit":{"message":"auto-deployed","shortMessageHtmlLink":"auto-deployed"}},{"before":"348d7c200347684c220062e2d971006928548381","after":"892584dc1fa2f9a3d2132c5ff99185ae90b29035","ref":"refs/heads/gh-pages","pushedAt":"2024-08-05T10:51:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"seL4-ci","name":"seL4 CI account","path":"/seL4-ci","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88766620?s=80&v=4"},"commit":{"message":"auto-deployed","shortMessageHtmlLink":"auto-deployed"}},{"before":"e0d2878bff0c4b0524bf8da181dff511fa96ca75","after":"ea4f37832c65c6482ee66a11970a9ebecc08077d","ref":"refs/heads/master","pushedAt":"2024-08-05T10:49:08.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Ivan-Velickovic","name":"Ivan Velickovic","path":"/Ivan-Velickovic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10481259?s=80&v=4"},"commit":{"message":"Add Microkit 1.4.0 release\n\nSigned-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>","shortMessageHtmlLink":"Add Microkit 1.4.0 release"}},{"before":"151b928eb0d72331af51f69152e00b9d1c253ef5","after":"348d7c200347684c220062e2d971006928548381","ref":"refs/heads/gh-pages","pushedAt":"2024-08-05T03:15:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"seL4-ci","name":"seL4 CI account","path":"/seL4-ci","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88766620?s=80&v=4"},"commit":{"message":"auto-deployed","shortMessageHtmlLink":"auto-deployed"}},{"before":"ae0ed0758562f157bfa3c9de1d1d77f07c8209e0","after":"151b928eb0d72331af51f69152e00b9d1c253ef5","ref":"refs/heads/gh-pages","pushedAt":"2024-08-04T03:16:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"seL4-ci","name":"seL4 CI account","path":"/seL4-ci","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88766620?s=80&v=4"},"commit":{"message":"auto-deployed","shortMessageHtmlLink":"auto-deployed"}},{"before":"bd0d969050157655eea009371e4ef9ec4686dd8c","after":"ae0ed0758562f157bfa3c9de1d1d77f07c8209e0","ref":"refs/heads/gh-pages","pushedAt":"2024-08-03T03:15:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"seL4-ci","name":"seL4 CI account","path":"/seL4-ci","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88766620?s=80&v=4"},"commit":{"message":"auto-deployed","shortMessageHtmlLink":"auto-deployed"}},{"before":"153db1569626abcd3b3de2431d1ba8d56d959366","after":"bd0d969050157655eea009371e4ef9ec4686dd8c","ref":"refs/heads/gh-pages","pushedAt":"2024-08-02T03:16:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"seL4-ci","name":"seL4 CI account","path":"/seL4-ci","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88766620?s=80&v=4"},"commit":{"message":"auto-deployed","shortMessageHtmlLink":"auto-deployed"}},{"before":"9d0b54e224f8b5d737d7620a2e0c81619ecf1eda","after":"153db1569626abcd3b3de2431d1ba8d56d959366","ref":"refs/heads/gh-pages","pushedAt":"2024-08-01T03:15:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"seL4-ci","name":"seL4 CI account","path":"/seL4-ci","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88766620?s=80&v=4"},"commit":{"message":"auto-deployed","shortMessageHtmlLink":"auto-deployed"}},{"before":"1fdcf9047193fee5b47fb38c728161c0e160ebb2","after":"9d0b54e224f8b5d737d7620a2e0c81619ecf1eda","ref":"refs/heads/gh-pages","pushedAt":"2024-07-31T03:15:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"seL4-ci","name":"seL4 CI account","path":"/seL4-ci","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88766620?s=80&v=4"},"commit":{"message":"auto-deployed","shortMessageHtmlLink":"auto-deployed"}},{"before":"f99005bfcc2f996edb31a257b0e3688630190a14","after":"1fdcf9047193fee5b47fb38c728161c0e160ebb2","ref":"refs/heads/gh-pages","pushedAt":"2024-07-30T03:16:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"seL4-ci","name":"seL4 CI account","path":"/seL4-ci","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88766620?s=80&v=4"},"commit":{"message":"auto-deployed","shortMessageHtmlLink":"auto-deployed"}},{"before":"17de962a3fd80d095bb993c74615d74df9dc16f7","after":"f99005bfcc2f996edb31a257b0e3688630190a14","ref":"refs/heads/gh-pages","pushedAt":"2024-07-29T03:15:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"seL4-ci","name":"seL4 CI account","path":"/seL4-ci","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88766620?s=80&v=4"},"commit":{"message":"auto-deployed","shortMessageHtmlLink":"auto-deployed"}},{"before":"eb073be0ff4c1485e12c5998f64f543b364109b3","after":"17de962a3fd80d095bb993c74615d74df9dc16f7","ref":"refs/heads/gh-pages","pushedAt":"2024-07-28T03:15:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"seL4-ci","name":"seL4 CI account","path":"/seL4-ci","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88766620?s=80&v=4"},"commit":{"message":"auto-deployed","shortMessageHtmlLink":"auto-deployed"}},{"before":"249c34ed55e8cb1afc20f72deff2f42510006074","after":"eb073be0ff4c1485e12c5998f64f543b364109b3","ref":"refs/heads/gh-pages","pushedAt":"2024-07-27T03:15:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"seL4-ci","name":"seL4 CI account","path":"/seL4-ci","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88766620?s=80&v=4"},"commit":{"message":"auto-deployed","shortMessageHtmlLink":"auto-deployed"}},{"before":"84d60795615f66b6baec394dced6578b3541c623","after":"249c34ed55e8cb1afc20f72deff2f42510006074","ref":"refs/heads/gh-pages","pushedAt":"2024-07-26T03:15:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"seL4-ci","name":"seL4 CI account","path":"/seL4-ci","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88766620?s=80&v=4"},"commit":{"message":"auto-deployed","shortMessageHtmlLink":"auto-deployed"}},{"before":"6e5a76f6be0f265eb682a9c07c188c4d7a23e2ed","after":"84d60795615f66b6baec394dced6578b3541c623","ref":"refs/heads/gh-pages","pushedAt":"2024-07-25T03:15:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"seL4-ci","name":"seL4 CI account","path":"/seL4-ci","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88766620?s=80&v=4"},"commit":{"message":"auto-deployed","shortMessageHtmlLink":"auto-deployed"}},{"before":"a28e9a894312b2f2231c644597fe40e56e2d934d","after":"6e5a76f6be0f265eb682a9c07c188c4d7a23e2ed","ref":"refs/heads/gh-pages","pushedAt":"2024-07-24T03:15:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"seL4-ci","name":"seL4 CI account","path":"/seL4-ci","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88766620?s=80&v=4"},"commit":{"message":"auto-deployed","shortMessageHtmlLink":"auto-deployed"}},{"before":"b1ce2e8fa396910a6d833120eef7efa912ff7261","after":"a28e9a894312b2f2231c644597fe40e56e2d934d","ref":"refs/heads/gh-pages","pushedAt":"2024-07-23T03:15:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"seL4-ci","name":"seL4 CI account","path":"/seL4-ci","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88766620?s=80&v=4"},"commit":{"message":"auto-deployed","shortMessageHtmlLink":"auto-deployed"}},{"before":"af622334f057fd50f3415fc51690066d394c500a","after":"b1ce2e8fa396910a6d833120eef7efa912ff7261","ref":"refs/heads/gh-pages","pushedAt":"2024-07-22T03:16:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"seL4-ci","name":"seL4 CI account","path":"/seL4-ci","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88766620?s=80&v=4"},"commit":{"message":"auto-deployed","shortMessageHtmlLink":"auto-deployed"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEnKP68AA","startCursor":null,"endCursor":null}},"title":"Activity · seL4/docs"}