Merge pull request #1811 from hermit-os/ci-no-submodule

ci: don't populate overridden submodules

Author: mkroening

.github/workflows/benchmark.yml

@@ -31,9 +31,6 @@ jobs:
         uses: actions/checkout@v4
         with:
           repository: hermit-os/hermit-rs
-          submodules: true
-      - name: Remove hermit-kernel submodule
-        run: git rm -r kernel
       - name: Checkout hermit-kernel
         uses: actions/checkout@v4
         with:

.github/workflows/ci.yml

@@ -135,10 +135,6 @@ jobs:
         uses: actions/checkout@v4
         with:
           repository: hermit-os/hermit-rs
-          submodules: true
-      - name: Remove hermit-kernel submodule
-        run: git rm -r kernel
-        working-directory: .
       - name: Checkout hermit-kernel
         uses: actions/checkout@v4
         with: