Merge pull request #863 from mkroening/rename-crate-finish

chore: adapt to hermit-rs' kernel renaming
hermit-os · Aug 25, 2023 · 0a92eae · 0a92eae
2 parents 0aedc55 + 373581d
commit 0a92eae
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -125,11 +125,11 @@ jobs:
           repository: hermitcore/rusty-hermit
           submodules: true
       - name: Remove hermit-kernel submodule
-        run: git rm -r libhermit-rs
+        run: git rm -r kernel
       - name: Checkout hermit-kernel
         uses: actions/checkout@v3
         with:
-          path: libhermit-rs
+          path: kernel
       - uses: mkroening/rust-toolchain-toml@main
       - uses: Swatinem/rust-cache@v2
       - name: Build dev profile
@@ -250,11 +250,11 @@ jobs:
           repository: hermitcore/rusty-hermit
           submodules: true
       - name: Remove hermit-kernel submodule
-        run: git rm -r libhermit-rs
+        run: git rm -r kernel
       - name: Checkout hermit-kernel
         uses: actions/checkout@v3
         with:
-          path: libhermit-rs
+          path: kernel
       - name: Download loader
         uses: dsaltares/[email protected]
         with: