diff options
| author | Timothee Cour <timothee.cour2@gmail.com> | 2020-06-01 10:21:41 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-06-01 19:21:41 +0200 |
| commit | 3cf88c2b4955f330e147c98064969626719790de (patch) | |
| tree | a491043e79dc618147708b24fc0818ef81ea11e6 /.github/workflows | |
| parent | 75e579ff8ec3b5b3659612ea24f8d2b8c0e20230 (diff) | |
| download | Nim-3cf88c2b4955f330e147c98064969626719790de.tar.gz | |
walkDirRecFilter, update doc CI filter, compiler/index.nim for docs + various other fixes (#14501)
* update doc CI filter to include the files mostly likely to require doc rebuild * remove code duplication in ./config/nimdoc.cfg; show link to compiler docs, various fixes * walkDirRecFilter, factor nativeToUnixPath workaround * glob for getRst2html * docslocal: 40s to build all docs * revert code dedup in github actions which did not work alas... * fixups
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/ci_docs.yml | 24 |
1 files changed, 13 insertions, 11 deletions
diff --git a/.github/workflows/ci_docs.yml b/.github/workflows/ci_docs.yml index a1e0920b6..c5e23fbed 100644 --- a/.github/workflows/ci_docs.yml +++ b/.github/workflows/ci_docs.yml @@ -1,18 +1,27 @@ name: Nim Docs CI on: push: - # Run only on changes on these files paths: - - 'lib/**.nim' + - 'compiler/docgen.nim' + - 'compiler/renderverbatim.nim' - 'doc/**.rst' - 'doc/nimdoc.css' + - 'lib/**.nim' + - 'nimdoc/testproject/expected/testproject.html' + - 'tools/dochack/dochack.nim' + - 'tools/kochdocs.nim' - '.github/workflows/ci_docs.yml' - pull_request: # Run only on changes on these files paths: - - 'lib/**.nim' + - 'compiler/docgen.nim' + - 'compiler/renderverbatim.nim' - 'doc/**.rst' + - 'doc/nimdoc.css' + - 'lib/**.nim' + - 'nimdoc/testproject/expected/testproject.html' + - 'tools/dochack/dochack.nim' + - 'tools/kochdocs.nim' - '.github/workflows/ci_docs.yml' jobs: @@ -115,13 +124,6 @@ jobs: shell: bash run: ./koch doc --git.commit:devel - - name: 'Prepare documentation for deployment' - 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 == 'refs/heads/devel' && |