{"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:1714269908.0","currentOid":""},"activityList":{"items":[{"before":"11af00acea05a8a52c7fc6c8f53b9f9792a70cab","after":"b2b23360d33fb5dc9ab489f68994b138007b1c30","ref":"refs/heads/gh-pages","pushedAt":"2024-05-01T03: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":"6ad7559134e87d8537ebd9167c783c66a655f905","after":"11af00acea05a8a52c7fc6c8f53b9f9792a70cab","ref":"refs/heads/gh-pages","pushedAt":"2024-04-30T03: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":"95822902a39fbb2057fd638b93449bc7a5dff847","after":"6ad7559134e87d8537ebd9167c783c66a655f905","ref":"refs/heads/gh-pages","pushedAt":"2024-04-29T03:15:59.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":"04234dadbfd38085e6c9ca7797e55571be507feb","after":"95822902a39fbb2057fd638b93449bc7a5dff847","ref":"refs/heads/gh-pages","pushedAt":"2024-04-28T03:15:54.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":"f2efadffc2f35b6d973563362afbd43c758dfc82","after":"04234dadbfd38085e6c9ca7797e55571be507feb","ref":"refs/heads/gh-pages","pushedAt":"2024-04-28T02:07:31.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":"6af16fa735577094fc4d2cb39037c1db0757e19d","after":null,"ref":"refs/heads/astyle-upgrade","pushedAt":"2024-04-28T02:05:08.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Ivan-Velickovic","name":"Ivan Velickovic","path":"/Ivan-Velickovic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10481259?s=80&v=4"}},{"before":"fdef96060800568308383a5a880793a6175a1c98","after":"a15224327a936b10bf1975842332a85ff1545798","ref":"refs/heads/master","pushedAt":"2024-04-28T02:05:07.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":"style: update astyle version\n\n3.1 is the version available in Ubuntu 20.04LTS, which is recommended in the\ncurrent install instructions. Later versions also work and output seems to be\nstable for our sources. Versions earlier than 3.0 no longer work with the\noptions in our .astylerc.\n\nSigned-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>","shortMessageHtmlLink":"style: update astyle version"}},{"before":null,"after":"6af16fa735577094fc4d2cb39037c1db0757e19d","ref":"refs/heads/astyle-upgrade","pushedAt":"2024-04-28T00:36:20.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":"style: update astyle version\n\n3.1 is the version available in Ubuntu 20.04LTS, which is recommended in the\ncurrent install instructions. Later versions also work and output seems to be\nstable for our sources. Versions earlier than 3.0 no longer work with the\noptions in our .astylerc.\n\nSigned-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>","shortMessageHtmlLink":"style: update astyle version"}},{"before":"60f3e96fd4c9c50902d151646b35d7bdbc47462f","after":"f2efadffc2f35b6d973563362afbd43c758dfc82","ref":"refs/heads/gh-pages","pushedAt":"2024-04-27T03:15:43.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":"d2aa17c26f3778ebebaf6cb0b0cb8cfbe311f60b","after":"60f3e96fd4c9c50902d151646b35d7bdbc47462f","ref":"refs/heads/gh-pages","pushedAt":"2024-04-26T03:15:50.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":"b01132f40b34688000839dffc976d160fe652bf8","after":"d2aa17c26f3778ebebaf6cb0b0cb8cfbe311f60b","ref":"refs/heads/gh-pages","pushedAt":"2024-04-25T03:15:49.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":"631c88933a1dfdc2b13167b6e7b89f214a7b2994","after":"b01132f40b34688000839dffc976d160fe652bf8","ref":"refs/heads/gh-pages","pushedAt":"2024-04-24T03:15:37.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":"c59c9a7387a2e35e3b3914f22cbfe48f69874cea","after":"631c88933a1dfdc2b13167b6e7b89f214a7b2994","ref":"refs/heads/gh-pages","pushedAt":"2024-04-23T03:16:07.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":"67aad85b2519364dc082908bddfd30287fdd1efb","after":"c59c9a7387a2e35e3b3914f22cbfe48f69874cea","ref":"refs/heads/gh-pages","pushedAt":"2024-04-22T03:15:27.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":"5326447595ad163b5d2910a63be6b3e3c60f8d4c","after":"67aad85b2519364dc082908bddfd30287fdd1efb","ref":"refs/heads/gh-pages","pushedAt":"2024-04-21T03:15:11.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":"f31822c6fe535a814641b77d489b6b6d86e8b28e","after":"5326447595ad163b5d2910a63be6b3e3c60f8d4c","ref":"refs/heads/gh-pages","pushedAt":"2024-04-20T03:15:38.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":"a84eb141f5fa2c7dfe3b31561943628455f61dac","after":"f31822c6fe535a814641b77d489b6b6d86e8b28e","ref":"refs/heads/gh-pages","pushedAt":"2024-04-19T03: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":"618b334be98ce64b6c41c69ed4e1da4ed6cf6855","after":"a84eb141f5fa2c7dfe3b31561943628455f61dac","ref":"refs/heads/gh-pages","pushedAt":"2024-04-18T03:15:32.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":"9469d94a68a7b2d6b2426eb264a8554ee3a2518c","after":"618b334be98ce64b6c41c69ed4e1da4ed6cf6855","ref":"refs/heads/gh-pages","pushedAt":"2024-04-17T09:40:42.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":"e9e628315e6dc8040443a6062a80e5c1d0e0fe51","after":"fdef96060800568308383a5a880793a6175a1c98","ref":"refs/heads/master","pushedAt":"2024-04-17T09:38:07.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":"roadmap: update UNSW projects\n\nSigned-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>","shortMessageHtmlLink":"roadmap: update UNSW projects"}},{"before":"993f85b24b545b133248cff2ccef30e5c90f1f9c","after":"9469d94a68a7b2d6b2426eb264a8554ee3a2518c","ref":"refs/heads/gh-pages","pushedAt":"2024-04-17T03:15:23.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":"01fc54323ff6355e82c9191a0cf2390f6dffbdc7","after":"993f85b24b545b133248cff2ccef30e5c90f1f9c","ref":"refs/heads/gh-pages","pushedAt":"2024-04-16T03:16:01.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":"91c75733b905037c076bc0dd8c37b7e54c6cb33e","after":"01fc54323ff6355e82c9191a0cf2390f6dffbdc7","ref":"refs/heads/gh-pages","pushedAt":"2024-04-15T04:01:53.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":"9d7dfac775e989c3574621dbd4b8b38b28da583c","after":"91c75733b905037c076bc0dd8c37b7e54c6cb33e","ref":"refs/heads/gh-pages","pushedAt":"2024-04-14T03:40: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":"fd8e9c51194406486cf4bae3f45bbb2cabaa6da0","after":"9d7dfac775e989c3574621dbd4b8b38b28da583c","ref":"refs/heads/gh-pages","pushedAt":"2024-04-13T03:14:41.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":"15e855a234295c5086e03dd7f4c18a16fec50275","after":"fd8e9c51194406486cf4bae3f45bbb2cabaa6da0","ref":"refs/heads/gh-pages","pushedAt":"2024-04-12T03:15:54.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":"f2d23ec4d756d6a16559dffeba7398114e3e3f85","after":"15e855a234295c5086e03dd7f4c18a16fec50275","ref":"refs/heads/gh-pages","pushedAt":"2024-04-11T07:43:53.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":"796c55286291aeede9785638bff03703e387752d","after":"e9e628315e6dc8040443a6062a80e5c1d0e0fe51","ref":"refs/heads/master","pushedAt":"2024-04-11T07:41:25.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"lsf37","name":"Gerwin Klein","path":"/lsf37","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5506585?s=80&v=4"},"commit":{"message":"rpi4: include fixup4.dat\n\nThis was missing from the list of files that need to be\non the booting parition of the SD card.\n\nThe testing that I have personally done with the Raspberry Pi 4B\nhas always had this file on the SD card, it just was not mentioned\nas part of the documentation.\n\nThe Raspberry Pi documentation mentions that this file is required\nto match up with the 'start4.elf' firmware.\n\nSigned-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>","shortMessageHtmlLink":"rpi4: include fixup4.dat"}},{"before":"45c9e1b11645a36501682f2987f5d82c5dc68b65","after":"f2d23ec4d756d6a16559dffeba7398114e3e3f85","ref":"refs/heads/gh-pages","pushedAt":"2024-04-11T03: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":"52a0490aa84ad2172aad2803a6f1cae8a8a3bc79","after":"45c9e1b11645a36501682f2987f5d82c5dc68b65","ref":"refs/heads/gh-pages","pushedAt":"2024-04-10T03:15:42.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":"djE6ks8AAAAEPphH1wA","startCursor":null,"endCursor":null}},"title":"Activity · seL4/docs"}