search

seL4 / website

The seL4.systems website
https://seL4.systems
3 stars 14 forks source link

Summit location announcement #324

Closed bbrcknl closed 9 months ago

github-actions[bot] commented 9 months ago

Preview your changes here

The link checker found some issues! Review them here

github-actions[bot] commented 9 months ago

Preview your changes here

The link checker found some issues! Review them here

june-andronick commented 9 months ago

Thanks @bbrcknl . Looks all good to me. One small thing: you might want to have John H's picture name as john-h to be more future proof ;) (john is quite common). Else fine for me to merge (once picture added --or without if that's easier and we can use it later)

github-actions[bot] commented 9 months ago

Preview your changes here

The link checker found some issues! Review them here

github-actions[bot] commented 9 months ago

Preview your changes here

The link checker found some issues! Review them here

github-actions[bot] commented 9 months ago

Preview your changes here