diff options
| author | Charles Harris <charlesr.harris@gmail.com> | 2021-05-29 08:05:48 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-05-29 08:05:48 -0600 |
| commit | 1ad61f0d72c07faa5ede548404c9d0cddc3d1423 (patch) | |
| tree | e5bed29f2f7ac8c648cea1909d05970e317d9037 | |
| parent | 336cda183332006ce57750af6b14642a79e3b3f4 (diff) | |
| parent | 48109e803576c7a33ddb985f2f9f773473a5a21a (diff) | |
| download | numpy-1ad61f0d72c07faa5ede548404c9d0cddc3d1423.tar.gz | |
Merge pull request #19132 from charris/fix-gitpod-fetch-depth
BUG: Use larger fetch depth in gitpod.yml
| -rw-r--r-- | .github/workflows/gitpod.yml | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/.github/workflows/gitpod.yml b/.github/workflows/gitpod.yml index 55683bcae..bbca92865 100644 --- a/.github/workflows/gitpod.yml +++ b/.github/workflows/gitpod.yml @@ -4,19 +4,21 @@ on: push: branches: - main - + jobs: build: - name: Build Gitpod Docker image + name: Build Gitpod Docker image runs-on: ubuntu-latest environment: numpy-dev if: "github.repository_owner == 'numpy' && !contains(github.event.head_commit.message, '[ci skip]') && !contains(github.event.head_commit.message, '[skip ci]') && !contains(github.event.head_commit.message, '[skip github]')" steps: - name: Clone repository uses: actions/checkout@v2 - - name: Lint Docker + with: + fetch-depth: 0 + - name: Lint Docker uses: brpaz/hadolint-action@v1.2.1 - with: + with: dockerfile: ./tools/gitpod/gitpod.Dockerfile - name: Get refs shell: bash @@ -50,6 +52,6 @@ jobs: cache-to: type=local,dest=/tmp/.buildx-cache tags: | numpy/numpy-gitpod:${{ steps.getrefs.outputs.date }}-${{ steps.getrefs.outputs.branch}}-${{ steps.getrefs.outputs.sha8 }}, numpy/numpy-gitpod:latest - - name: Image digest + - name: Image digest # Return details of the image build: sha and shell - run: echo ${{ steps.docker_build.outputs.digest }}
\ No newline at end of file + run: echo ${{ steps.docker_build.outputs.digest }} |