ci: fix publish_docs

Signed-off-by: Martin Kröning <[email protected]>
hermit-os · Nov 15, 2023 · 96b4adf · 96b4adf
1 parent 630855d
commit 96b4adf
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/publish_docs.yml b/.github/workflows/publish_docs.yml
@@ -14,8 +14,8 @@ jobs:
     steps:
       - name: Checkout code
         uses: actions/checkout@v4
-      - name: Rustup (apply rust-toolchain.toml)
-        run: rustup show
+      - uses: mkroening/rust-toolchain-toml@main
+      - run: rustup target add x86_64-unknown-none
       - name: Generate documentation
         run: cargo doc --target x86_64-unknown-none --package hermit-kernel
       - name: Generate index.html