diff options
author | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2021-01-22 11:29:11 +0100 |
---|---|---|
committer | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2021-01-22 11:29:11 +0100 |
commit | 7923b83d1ccf03f1c8b0a7fcd73e199894784a45 (patch) | |
tree | 1f758b12c9256b44d2818322fd1f641c62b4e1ef /.github/workflows/pip-build-linux.yml | |
parent | f051d6111f47d11ef35bd62dd215887a0aa17426 (diff) |
Add some comments to find docker images
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 |