diff options
| author | Charles Harris <charlesr.harris@gmail.com> | 2023-03-02 17:43:09 -0700 |
|---|---|---|
| committer | Charles Harris <charlesr.harris@gmail.com> | 2023-03-02 17:57:44 -0700 |
| commit | 990266361c6c20877a086124c65588ef0a11e706 (patch) | |
| tree | f4d3997578a843b572db362052f3a8d508f02cc3 /.github | |
| parent | e57ee3fa15234827bebc2500ea89d5d05e895d2f (diff) | |
| download | numpy-990266361c6c20877a086124c65588ef0a11e706.tar.gz | |
MAINT: Fix failing gitpod build.
The gitpod builds have begun failing, this PR updates the
`build-push-action` command to version 4 to check if that fixes the
problem. Note the the build only runs on merge, so the PR tests won't
help, but a version update is probably a good idea anyway. See gh-23320
for more information.
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/docker.yml | 2 | ||||
| -rw-r--r-- | .github/workflows/gitpod.yml | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml index de3128fc3..ef70b4dea 100644 --- a/.github/workflows/docker.yml +++ b/.github/workflows/docker.yml @@ -46,7 +46,7 @@ jobs: password: ${{ secrets.DOCKERHUB_TOKEN }} - name: Build and push id: docker_build - uses: docker/build-push-action@v2 + uses: docker/build-push-action@v4 with: context: "." file: "./tools/gitpod/Dockerfile" diff --git a/.github/workflows/gitpod.yml b/.github/workflows/gitpod.yml index f48b506b4..466928ada 100644 --- a/.github/workflows/gitpod.yml +++ b/.github/workflows/gitpod.yml @@ -46,7 +46,7 @@ jobs: password: ${{ secrets.DOCKERHUB_TOKEN }} - name: Build and push id: docker_build - uses: docker/build-push-action@v2 + uses: docker/build-push-action@v4 with: context: "." file: "./tools/gitpod/gitpod.Dockerfile" |