From 34de74c3d3bdf7366dc48d3a14ecc0dc254a9df3 Mon Sep 17 00:00:00 2001 From: Quentin Gliech Date: Tue, 18 Jul 2023 12:14:40 +0200 Subject: [PATCH] ci: remove the rustdoc lockfile --- .github/workflows/docs.yaml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml index 5014cbdc3..8063d4e84 100644 --- a/.github/workflows/docs.yaml +++ b/.github/workflows/docs.yaml @@ -55,6 +55,9 @@ jobs: RUSTC_BOOTSTRAP: "1" run: cargo doc -Zrustdoc-map --workspace --lib --no-deps + - name: Remove the rustdoc lock file + run: rm -f target/doc/.lock + - name: Build storybook working-directory: ./frontend run: npx storybook build -o ../target/book/storybook