diff options
Diffstat (limited to '.github/workflows/pip-build-linux.yml')
-rw-r--r-- | .github/workflows/pip-build-linux.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/workflows/pip-build-linux.yml b/.github/workflows/pip-build-linux.yml index cf8ddadf..726ed0d5 100644 --- a/.github/workflows/pip-build-linux.yml +++ b/.github/workflows/pip-build-linux.yml @@ -6,6 +6,7 @@ jobs: build: name: build pip wheels runs-on: ubuntu-latest + # cf. https://github.com/GUDHI/gudhi-deploy/blob/main/Dockerfile_for_pip container: gudhi/pip_for_gudhi steps: - uses: actions/checkout@v1 |