From 90b9d0d6a8248832ba5a093ba7540ea6dd9b531a Mon Sep 17 00:00:00 2001 From: Alexandre Flament Date: Tue, 2 Feb 2021 08:37:00 +0100 Subject: [mod] CI: minor changes * utils/makefile.python: travis-gh-pages renamed ci-gh-pages --- .github/workflows/integration.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to '.github') 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 -- cgit v1.2.3