-
Notifications
You must be signed in to change notification settings - Fork 14
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Announce keynotes #366
Announce keynotes #366
Conversation
Signed-off-by: Birgit Brecknell <[email protected]>
Signed-off-by: Birgit Brecknell <[email protected]>
Preview your changes here The link checker found some issues!
The HTML5 validator found some issues!
|
Signed-off-by: Birgit Brecknell <[email protected]>
Preview your changes here The link checker found some issues!
|
Signed-off-by: Birgit Brecknell <[email protected]>
Preview your changes here The link checker found some issues!
|
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Happy with the status so far, just a couple of suggestions.
news/2024.html
Outdated
<div> | ||
<div class="row" style="margin-left:0px; margin-right:0px"> | ||
<p> | ||
We are pleased to announce that the two keynotes for the <a href="../Foundation/Summit/2024">seL4 summit 2024</a> will be <strong>Darren Cofer from Collins Aerospace</strong> and <strong>Ning Qu from |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I suggest Darren Cofer from Collins Aerospace
and add a link to Darren's page/linkedIn from his name, and a link to Collins Aerospace from the company name.
Same for Ning and NIO.
news/2024.html
Outdated
<div class="speaker_title" style="text-align:center"> | ||
<strong>Darren Cofer</strong> | ||
<br> | ||
Collins Aerospace |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Again (if easy), I would have a link from Darren's picture and name to his page/linkedIn and a link from Collins Aerospace to the company's website.
Same for Ning/NIO
</p> | ||
<p class="summit-abstract-author"> | ||
Presented by Darren Cofer, <span class="summit-abstract-affiliation">Collins Aerospace</span> | ||
</p> |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
See my comments below. Here again, you could have links from Darren's name to his page/linkedIn and from Collins to the company's website (at least for the keynotes, but could be for all the ones we have later)
Signed-off-by: Birgit Brecknell <[email protected]>
- fix typos - link to homebrew Signed-off-by: Gerwin Klein <[email protected]>
Signed-off-by: seL4 CI <[email protected]>
Signed-off-by: seL4 CI <[email protected]>
Merging even though there are link checker errors. These seem to be external (LinkedIn). The actual links work when clicking on them. Signed-off-by: Birgit Brecknell <[email protected]>
Signed-off-by: Birgit Brecknell <[email protected]>
Signed-off-by: Birgit Brecknell <[email protected]>
Signed-off-by: Birgit Brecknell <[email protected]>
Signed-off-by: Birgit Brecknell <[email protected]>
Signed-off-by: Birgit Brecknell <[email protected]>
Signed-off-by: Birgit Brecknell <[email protected]>
Preview your changes here The link checker found some issues!
The HTML5 validator found some issues!
|
Signed-off-by: Birgit Brecknell <[email protected]>
Preview your changes here The link checker found some issues!
|
Preview your changes here |
No description provided.