diff options
| author | Alexandre Flament <alex@al-f.net> | 2021-02-04 23:12:27 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-04 23:12:27 +0100 |
| commit | 321788f14a8a674984b9884094dd9626d6162a33 (patch) | |
| tree | db50773e7601bd1ff02dcc113b1b6d0e868ea659 /.github/workflows | |
| parent | ffaf785f8272a8168e92dfe1c3a2179b6991bb18 (diff) | |
| parent | 90b9d0d6a8248832ba5a093ba7540ea6dd9b531a (diff) | |
Merge pull request #2528 from dalf/mod-ci-gh-pages
[mod] CI: minor changes
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/integration.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/integration.yml b/.github/workflows/integration.yml index 7d0b97447..59eb4c560 100644 --- a/.github/workflows/integration.yml +++ b/.github/workflows/integration.yml @@ -73,7 +73,7 @@ jobs: python-version: '3.9' architecture: 'x64' - name: Build documentation - run: SEARX_DEBUG=1 make V=1 travis-gh-pages + run: SEARX_DEBUG=1 make V=1 ci-gh-pages - name: Deploy if: github.ref == 'refs/heads/master' uses: JamesIves/github-pages-deploy-action@3.7.1 |