diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 0b98a2d1e12..a7a78c2f91d 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -15,6 +15,7 @@ on: - 'doc/**.py' - 'doc/**.sh' - 'doc/**.xlsx' + - '.hpc/**' pull_request: branches: - master @@ -33,6 +34,7 @@ on: - 'doc/**.py' - 'doc/**.sh' - 'doc/**.xlsx' + - '.hpc/**' jobs: lint: name: Check format diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 519021a6aa5..b6613fbc19a 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -3,12 +3,14 @@ on: push: paths-ignore: - '.github/workflows/release.yml' + - '.hpc/**' pull_request: branches: - master - develop paths-ignore: - '.github/workflows/release.yml' + - '.hpc/**' jobs: rtd_build: name: Build ReadTheDocs diff --git a/.hpc/deploy.sh b/.hpc/deploy.sh old mode 100644 new mode 100755