Skip to content
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.

Sign up for GitHub

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

Jump to bottom

add slides and videos to summit program #415

Merged
merged 24 commits into from
Nov 8, 2024
Merged

add slides and videos to summit program #415

merged 24 commits into from
Nov 8, 2024

Commits on Oct 17, 2024

  1. add slides to summit program (incomplete) 

    Signed-off-by: Birgit Brecknell <[email protected]>
    @bbrcknl
    bbrcknl committed Oct 17, 2024
    Configuration menu
    Copy the full SHA
    178c621 View commit details
    Browse the repository at this point in the history

Commits on Oct 27, 2024

  1. add news item about videos and slides 

    Signed-off-by: Birgit Brecknell <[email protected]>
    @bbrcknl
    bbrcknl committed Oct 27, 2024
    Configuration menu
    Copy the full SHA
    4a89ebd View commit details
    Browse the repository at this point in the history

Commits on Oct 28, 2024

  1. add links to videos and available slides 

    Signed-off-by: Birgit Brecknell <[email protected]>
    @bbrcknl
    bbrcknl committed Oct 28, 2024
    Configuration menu
    Copy the full SHA
    0640b72 View commit details
    Browse the repository at this point in the history

  2. add more videos+slides; fix html 

    Signed-off-by: Birgit Brecknell <[email protected]>
    @bbrcknl
    bbrcknl committed Oct 28, 2024
    Configuration menu
    Copy the full SHA
    61f9d56 View commit details
    Browse the repository at this point in the history

  3. add more slides 

    Signed-off-by: Birgit Brecknell <[email protected]>
    @bbrcknl
    bbrcknl committed Oct 28, 2024
    Configuration menu
    Copy the full SHA
    6395e2a View commit details
    Browse the repository at this point in the history

  4. remove slides placeholder for announcements 

    Signed-off-by: Birgit Brecknell <[email protected]>
    @bbrcknl
    bbrcknl committed Oct 28, 2024
    Configuration menu
    Copy the full SHA
    0e1ea16 View commit details
    Browse the repository at this point in the history

Commits on Oct 29, 2024

  1. add more summit slides 

    Signed-off-by: Birgit Brecknell <[email protected]>
    @bbrcknl
    bbrcknl committed Oct 29, 2024
    Configuration menu
    Copy the full SHA
    9f50045 View commit details
    Browse the repository at this point in the history

  2. fix html issue 

    Signed-off-by: Birgit Brecknell <[email protected]>
    @bbrcknl
    bbrcknl committed Oct 29, 2024
    Configuration menu
    Copy the full SHA
    abd531d View commit details
    Browse the repository at this point in the history

Commits on Oct 30, 2024

  1. add more summit slides 

    Signed-off-by: Birgit Brecknell <[email protected]>
    @bbrcknl
    bbrcknl committed Oct 30, 2024
    Configuration menu
    Copy the full SHA
    34b7310 View commit details
    Browse the repository at this point in the history

  2. add more summit slides 

    Signed-off-by: Birgit Brecknell <[email protected]>
    @bbrcknl
    bbrcknl committed Oct 30, 2024
    Configuration menu
    Copy the full SHA
    6bdca55 View commit details
    Browse the repository at this point in the history

Commits on Nov 3, 2024

  1. add welcomes slides 

    Signed-off-by: Birgit Brecknell <[email protected]>
    @bbrcknl
    bbrcknl committed Nov 3, 2024
    Configuration menu
    Copy the full SHA
    38e3ed7 View commit details
    Browse the repository at this point in the history

Commits on Nov 4, 2024

  1. remove latest news from summit page 

    Signed-off-by: Birgit Brecknell <[email protected]>
    @bbrcknl
    bbrcknl committed Nov 4, 2024
    Configuration menu
    Copy the full SHA
    700671a View commit details
    Browse the repository at this point in the history

Commits on Nov 6, 2024

  1. add meier slides 

    Signed-off-by: Birgit Brecknell <[email protected]>
    @bbrcknl
    bbrcknl committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    b96f0da View commit details
    Browse the repository at this point in the history

Commits on Nov 7, 2024

  1. add slides; finalise for announcement 

    Signed-off-by: Birgit Brecknell <[email protected]>
    @bbrcknl
    bbrcknl committed Nov 7, 2024
    Configuration menu
    Copy the full SHA
    0794bb3 View commit details
    Browse the repository at this point in the history

  2. CI: update performance results 

    Signed-off-by: seL4 CI <[email protected]>
    @seL4-ci @bbrcknl
    seL4-ci authored and bbrcknl committed Nov 7, 2024
    Configuration menu
    Copy the full SHA
    3b2bcf2 View commit details
    Browse the repository at this point in the history

  3. CI: update performance results 

    Signed-off-by: seL4 CI <[email protected]>
    @seL4-ci @bbrcknl
    seL4-ci authored and bbrcknl committed Nov 7, 2024
    Configuration menu
    Copy the full SHA
    9bab020 View commit details
    Browse the repository at this point in the history

  4. CI: update performance results 

    Signed-off-by: seL4 CI <[email protected]>
    @seL4-ci @bbrcknl
    seL4-ci authored and bbrcknl committed Nov 7, 2024
    Configuration menu
    Copy the full SHA
    e36b6ff View commit details
    Browse the repository at this point in the history

  5. CI: update performance results 

    Signed-off-by: seL4 CI <[email protected]>
    @seL4-ci @bbrcknl
    seL4-ci authored and bbrcknl committed Nov 7, 2024
    Configuration menu
    Copy the full SHA
    c9c452c View commit details
    Browse the repository at this point in the history

  6. deps: update deps to pacify dependabot 

    Run `bundle update` to bump dependencies to eliminate a number of high
severity vulnerabilities. We only run on trusted input, but it's still
nicer to not have them.

Signed-off-by: Gerwin Klein <[email protected]>
    @lsf37 @bbrcknl
    lsf37 authored and bbrcknl committed Nov 7, 2024
    Configuration menu
    Copy the full SHA
    586f50b View commit details
    Browse the repository at this point in the history

  7. Add served-by-seL4 footer to mobile pages 

    This footer was previously only enabled on the desktop version of the
site.

Signed-off-by: James Archer <[email protected]>
    @JE-Archer @bbrcknl
    JE-Archer authored and bbrcknl committed Nov 7, 2024
    Configuration menu
    Copy the full SHA
    e680d50 View commit details
    Browse the repository at this point in the history

  8. Deduplicate footer HTML 

    Signed-off-by: James Archer <[email protected]>
    @JE-Archer @bbrcknl
    JE-Archer authored and bbrcknl committed Nov 7, 2024
    Configuration menu
    Copy the full SHA
    81c53f5 View commit details
    Browse the repository at this point in the history

  9. Add SPDX license identifier to _includes files 

    Signed-off-by: James Archer <[email protected]>
    @JE-Archer @bbrcknl
    JE-Archer authored and bbrcknl committed Nov 7, 2024
    Configuration menu
    Copy the full SHA
    7b74560 View commit details
    Browse the repository at this point in the history

  10. Merge branch 'master' into summit_slides_and_videos

    @bbrcknl
    bbrcknl authored Nov 7, 2024
    Configuration menu
    Copy the full SHA
    ac8fe6c View commit details
    Browse the repository at this point in the history

Commits on Nov 8, 2024

  1. fix summit logo 

    Signed-off-by: Birgit Brecknell <[email protected]>
    @bbrcknl
    bbrcknl committed Nov 8, 2024
    Configuration menu
    Copy the full SHA
    8d80402 View commit details
    Browse the repository at this point in the history