Bump everything and minimize kernel configuration

Signed-off-by: Nick Spinale <[email protected]>
seL4 · Apr 21, 2024 · 6ecd04f · 6ecd04f
1 parent 56d09c5
commit 6ecd04f
Show file tree

Hide file tree

Showing 9 changed files with 183 additions and 233 deletions.
diff --git a/.cargo/config → .cargo/config.toml b/.cargo/config → .cargo/config.toml
diff --git a/.github/workflows/push.yaml b/.github/workflows/push.yaml
@@ -21,6 +21,6 @@ jobs:
     name: Build and check
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
       - name: Build and check
         run: make -C docker/ test