Beta se l4 changes #399
Closed
Beta se l4 changes #399
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Signed-off-by: seL4 CI <ci@sel4.systems>
Signed-off-by: seL4 CI <ci@sel4.systems>
Signed-off-by: seL4 CI <ci@sel4.systems>
Signed-off-by: seL4 CI <ci@sel4.systems>
Signed-off-by: seL4 CI <ci@sel4.systems>
Signed-off-by: seL4 CI <ci@sel4.systems>
Signed-off-by: seL4 CI <ci@sel4.systems>
Signed-off-by: seL4 CI <ci@sel4.systems>
Signed-off-by: seL4 CI <ci@sel4.systems>
Signed-off-by: Peter Chubb <Peter.Chubb@unsw.edu.au>
Signed-off-by: seL4 CI <ci@sel4.systems>
* sel4 day announcement --------- Signed-off-by: Birgit Brecknell <b@brck.nl>
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
- each news item is its own file in _news-items/ - the file can be md or html - the name has to start with the date of the item Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
* add reception and dinner info --------- Signed-off-by: Birgit Brecknell <b@brck.nl>
Signed-off-by: Birgit Brecknell <b@brck.nl>
Signed-off-by: seL4 CI <ci@sel4.systems>
Signed-off-by: seL4 CI <ci@sel4.systems>
Signed-off-by: seL4 CI <ci@sel4.systems>
Signed-off-by: seL4 CI <ci@sel4.systems>
Signed-off-by: seL4 CI <ci@sel4.systems>
Signed-off-by: seL4 CI <ci@sel4.systems>
* add article about tii summit sponsorship --------- Signed-off-by: Birgit Brecknell <b@brck.nl>
Signed-off-by: seL4 CI <ci@sel4.systems>
* add news article about TII summit sponsorship * change spacing of sponsor grid Signed-off-by: Birgit Brecknell <b@brck.nl>
Signed-off-by: Birgit Brecknell <b@brck.nl>
Signed-off-by: Birgit Brecknell <b@brck.nl> Co-authored-by: June Andronick <june@sel4.systems>
* add summit 2024 abstracts --------- Signed-off-by: Birgit Brecknell <b@brck.nl>
Signed-off-by: Birgit Brecknell <b@brck.nl>
Signed-off-by: Birgit Brecknell <b@brck.nl>
* training day registration and session information --------- Signed-off-by: Birgit Brecknell <b@brck.nl> Co-authored-by: June Andronick <june@sel4.systems> Co-authored-by: Ivan Velickovic <10481259+Ivan-Velickovic@users.noreply.github.com>
* center all sponsor images in announcements Signed-off-by: Birgit Brecknell <b@brck.nl>
* add summit social activities --------- Signed-off-by: Birgit Brecknell <b@brck.nl>
* add session chairs to summit program --------- Signed-off-by: Birgit Brecknell <b@brck.nl>
* update social activities --------- Signed-off-by: Birgit Brecknell <b@brck.nl>
* add Kry10 sponsorship news item --------- Signed-off-by: Birgit Brecknell <b@brck.nl>
|
Preview your changes here The link checker found some issues! The HTML5 validator found some issues! |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This rebases beta-sel4-systems onto master