diff options
| author | alaviss <alaviss@users.noreply.github.com> | 2020-03-31 17:36:37 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-03-31 19:36:37 +0200 |
| commit | 40898871a9bde4353edc21423b0e8bfe03f68414 (patch) | |
| tree | 631227c69bfd4041d546ad582170da4891811ba8 /.github | |
| parent | b1aa3b1eeada17453cee9af5c9227c85e0b73d54 (diff) | |
| download | Nim-40898871a9bde4353edc21423b0e8bfe03f68414.tar.gz | |
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
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/ci_docs.yml | 12 |
1 files 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 }} |