From 40898871a9bde4353edc21423b0e8bfe03f68414 Mon Sep 17 00:00:00 2001 From: alaviss Date: Tue, 31 Mar 2020 17:36:37 +0000 Subject: [PATCH] workflows/ci_docs: fix documentation deployment (#13819) * workflows/ci_docs: fix docs publishing It turns out that github.ref is the full ref name, so we have to be a bit more specific. See https://developer.github.com/v3/activity/events/types/#pushevent Also fixed a silly typo :) * workflows/ci_docs: run CI when there are changes to the workflow --- .github/workflows/ci_docs.yml | 12 +++++++++--- 1 file changed, 9 insertions(+), 3 deletions(-) diff --git a/.github/workflows/ci_docs.yml b/.github/workflows/ci_docs.yml index cc3728939..a1e0920b6 100644 --- a/.github/workflows/ci_docs.yml +++ b/.github/workflows/ci_docs.yml @@ -6,12 +6,14 @@ on: - 'lib/**.nim' - 'doc/**.rst' - 'doc/nimdoc.css' + - '.github/workflows/ci_docs.yml' pull_request: # Run only on changes on these files paths: - 'lib/**.nim' - 'doc/**.rst' + - '.github/workflows/ci_docs.yml' jobs: build: @@ -114,14 +116,18 @@ jobs: run: ./koch doc --git.commit:devel - name: 'Prepare documentation for deployment' - if: github.event_name == 'push' && github.ref == 'devel' && matrix.target == 'linux' + if: | + github.event_name == 'push' && github.ref == 'refs/heads/devel' && + matrix.target == 'linux' shell: bash run: cp -f doc/html/{overview,index}.html - name: 'Publish documentation to Github Pages' - if: github.event_name == 'push' && github.ref == 'devel' && matrix.target == 'linux' + if: | + github.event_name == 'push' && github.ref == 'refs/heads/devel' && + matrix.target == 'linux' uses: crazy-max/ghaction-github-pages@v1 with: - build-dir: doc/html + build_dir: doc/html env: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}