diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index e1617360f2..397970ec66 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -41,6 +41,9 @@ jobs: - uses: Swatinem/rust-cache@v2 with: save-if: ${{ github.ref == 'refs/heads/main' }} + workspaces: | + . + hermit-builtins - run: cargo xtask clippy format: @@ -76,6 +79,9 @@ jobs: - uses: Swatinem/rust-cache@v2 with: save-if: ${{ github.ref == 'refs/heads/main' }} + workspaces: | + . + hermit-builtins - name: Build minimal kernel run: | cargo xtask build --arch x86_64 --no-default-features @@ -94,6 +100,9 @@ jobs: - uses: Swatinem/rust-cache@v2 with: save-if: ${{ github.ref == 'refs/heads/main' }} + workspaces: | + . + hermit-builtins - name: Unit tests run: cargo test --lib env: @@ -187,6 +196,7 @@ jobs: workspaces: | . kernel + kernel/hermit-builtins - name: Download loader uses: dsaltares/fetch-gh-release-asset@master with: @@ -266,6 +276,10 @@ jobs: - uses: Swatinem/rust-cache@v2 with: save-if: ${{ github.ref == 'refs/heads/main' }} + workspaces: | + . + kernel + kernel/hermit-builtins - name: rusty_demo on Uhyve run: cargo xtask ci uhyve --arch x86_64 --package rusty_demo - name: rusty_demo on Uhyve (release)