diff options
| author | Joris Roovers <joris.roovers@gmail.com> | 2023-06-08 11:11:44 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-06-08 11:11:44 +0200 |
| commit | 806c1b71122575f89215aef7b9f394a9076f76e8 (patch) | |
| tree | ba26d32a062ba3b64755629201f44515aef66a14 /.github/workflows/ci.yml | |
| parent | b19e10c9aed41ce36edd75de801cbb0af55a8e46 (diff) | |
GHA: Improvements for auto-deploy docs (#503)
- Change incorrect --deploy parameter to --push
- Allow for manual trigger of workflow
- Call publish-docs workflow from ci workflow when committing on main
Diffstat (limited to '.github/workflows/ci.yml')
| -rw-r--r-- | .github/workflows/ci.yml | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 373a5c0..112c7d5 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -146,7 +146,6 @@ jobs: auto-publish-dev: needs: - check - - doc_checks if: github.ref == 'refs/heads/main' uses: ./.github/workflows/publish-release.yml @@ -155,3 +154,14 @@ jobs: environment: "production" repo_release_ref: "main" docker_image_tag: "latest_dev" + + # When on main, auto publish docs + auto-publish-docs: + needs: + - check + + if: github.ref == 'refs/heads/main' + uses: ./.github/workflows/publish-docs.yml + secrets: inherit # pass all secrets (required to access secrets in a called workflow) + with: + docs_version: "dev" |