diff options
Diffstat (limited to '.github/workflows/pip-packaging-linux.yml')
| -rw-r--r-- | .github/workflows/pip-packaging-linux.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/workflows/pip-packaging-linux.yml b/.github/workflows/pip-packaging-linux.yml index 469c3b3b..95e8f034 100644 --- a/.github/workflows/pip-packaging-linux.yml +++ b/.github/workflows/pip-packaging-linux.yml @@ -8,6 +8,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 |