diff options
| author | Alexandre Flament <alex@al-f.net> | 2021-04-24 07:14:35 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-24 07:14:35 +0200 |
| commit | a7b9eca98a196052bed8168ff11d13456851b04f (patch) | |
| tree | fcafca4b1c2b95f5e789275d7fd64b9d578c13fb /.github | |
| parent | fe064a5c390f7b85aa0e7b207b38129cca2ccc17 (diff) | |
| parent | abd423cbf8fd221c855eeabc5f3a61b7954e3961 (diff) | |
Merge pull request #8 from return42/manage-script
Replace Makefile boilerplate by shell scripts
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/data-update.yml | 3 | ||||
| -rw-r--r-- | .github/workflows/integration.yml | 7 |
2 files changed, 5 insertions, 5 deletions
diff --git a/.github/workflows/data-update.yml b/.github/workflows/data-update.yml index ae5acdbd..95a0808b 100644 --- a/.github/workflows/data-update.yml +++ b/.github/workflows/data-update.yml @@ -40,8 +40,7 @@ jobs: env: FETCH_SCRIPT: ./searx_extra/update/${{ matrix.fetch }} run: | - source local/py3/bin/activate - $FETCH_SCRIPT + V=1 manage pyenv.cmd python "$FETCH_SCRIPT" - name: Create Pull Request id: cpr diff --git a/.github/workflows/integration.yml b/.github/workflows/integration.yml index 32bd2175..0068c396 100644 --- a/.github/workflows/integration.yml +++ b/.github/workflows/integration.yml @@ -59,7 +59,7 @@ jobs: - name: Install node dependencies run: make V=1 node.env - name: Build themes - run: make V=1 themes + run: make V=1 themes.all documentation: name: Documentation @@ -77,14 +77,15 @@ jobs: python-version: '3.9' architecture: 'x64' - name: Build documentation - run: SEARX_DEBUG=1 make V=1 ci-gh-pages + run: | + make V=1 docs.clean docs.html - name: Deploy if: github.ref == 'refs/heads/master' uses: JamesIves/github-pages-deploy-action@3.7.1 with: GITHUB_TOKEN: ${{ github.token }} BRANCH: gh-pages - FOLDER: build/gh-pages + FOLDER: dist/docs CLEAN: true # Automatically remove deleted files from the deploy branch SINGLE_COMMIT: True COMMIT_MESSAGE: build from commit ${{ github.sha }} |