diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml index 7ec1394bd..c487083ac 100644 --- a/.github/workflows/CI.yml +++ b/.github/workflows/CI.yml @@ -327,7 +327,6 @@ jobs: os: [ubuntu-latest] steps: - - name: Get current year-month id: date run: echo "::set-output name=date::$(date +'%Y-%m')" @@ -372,3 +371,10 @@ jobs: run: | cd doc make html + + - name: Upload HTML + if: ${{ github.event.label.name == 'upload html' }} + uses: actions/upload-artifact@v3 + with: + name: docs-html + path: doc/_build/html