chore: Remove unused artifact download step in GitHub Actions workflow

Parietal-INRIA · Jul 16, 2024 · f8202b0 · f8202b0
1 parent e559d84
commit f8202b0
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.github/workflows/doc-build.yml b/.github/workflows/doc-build.yml
@@ -98,7 +98,6 @@ jobs:
         -   name: Download artifacts
             uses: actions/download-artifact@v4
             with:
-                name: DocHTML
                 path: doc/_build/html/
 
         -   name: Commit to documentation branch