summaryrefslogtreecommitdiff
path: root/.github/workflows
diff options
context:
space:
mode:
authorCharles Harris <charlesr.harris@gmail.com>2023-03-23 19:11:17 -0400
committerGitHub <noreply@github.com>2023-03-23 19:11:17 -0400
commitce725d1642d6e957c70ea75c2aaa022c2eef4a95 (patch)
tree907661ade0edc546e11bfc6bfe8d6c799aa5310a /.github/workflows
parent50acc65297a79312a2526ce4398e7739f5d4db95 (diff)
parentc35c440bbe57e53a761ec880199d3e28c9c22223 (diff)
downloadnumpy-ce725d1642d6e957c70ea75c2aaa022c2eef4a95.tar.gz
Merge pull request #23444 from rgommers/remove-gitpod
MAINT: remove support for Gitpod, add note on using Codespaces
Diffstat (limited to '.github/workflows')
-rw-r--r--.github/workflows/docker.yml61
-rw-r--r--.github/workflows/gitpod.yml61
2 files changed, 0 insertions, 122 deletions
diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml
deleted file mode 100644
index c8f95d676..000000000
--- a/.github/workflows/docker.yml
+++ /dev/null
@@ -1,61 +0,0 @@
-name: Build Base Docker Image
-
-on:
- push:
- branches:
- - main
- paths:
- - "environment.yml"
-
-permissions:
- contents: read # to fetch code (actions/checkout)
-
-jobs:
- build_docker:
- name: Build base Docker image
- runs-on: ubuntu-latest
- environment: numpy-dev
- if: "github.repository_owner == 'numpy'"
- steps:
- - name: Clone repository
- uses: actions/checkout@24cb9080177205b6e8c946b17badbe402adc938f # v3.4.0
- - name: Lint Docker
- uses: hadolint/hadolint-action@54c9adbab1582c2ef04b2016b760714a4bfde3cf # v3.1.0
- with:
- dockerfile: ./tools/gitpod/Dockerfile
- ignore: DL3059
- - name: Get refs
- shell: bash
- run: |
- export raw_branch=${GITHUB_REF#refs/heads/}
- echo "branch=${raw_branch//\//-}" >> $GITHUB_OUTPUT
- echo "date=$(date +'%Y%m%d')" >> $GITHUB_OUTPUT
- echo "sha8=$(echo ${GITHUB_SHA} | cut -c1-8)" >> $GITHUB_OUTPUT
- id: getrefs
- - name: Set up Docker Buildx
- uses: docker/setup-buildx-action@4b4e9c3e2d4531116a6f8ba8e71fc6e2cb6e6c8c # v2.5.0
- - name: Cache Docker layers
- uses: actions/cache@88522ab9f39a2ea568f7027eddc7d8d8bc9d59c8 # v3.3.1
- with:
- path: /tmp/.buildx-cache
- key: ${{ runner.os }}-buildx-${{ github.sha }}
- restore-keys: ${{ runner.os }}-buildx-
- - name: Login to Docker Hub
- uses: docker/login-action@f4ef78c080cd8ba55a85445d5b36e214a81df20a # v2.1.0
- with:
- username: ${{ secrets.DOCKERHUB_USERNAME }}
- password: ${{ secrets.DOCKERHUB_TOKEN }}
- - name: Build and push
- id: docker_build
- uses: docker/build-push-action@3b5e8027fcad23fda98b2e3ac259d8d67585f671 # v4.0.0
- with:
- context: "."
- file: "./tools/gitpod/Dockerfile"
- push: ${{ github.event_name != 'pull_request' }}
- cache-from: type=local,src=/tmp/.buildx-cache
- cache-to: type=local,dest=/tmp/.buildx-cache
- tags: |
- numpy/numpy-dev:${{ steps.getrefs.outputs.date }}-${{ steps.getrefs.outputs.branch}}-${{ steps.getrefs.outputs.sha8 }}, numpy/numpy-dev:latest
- - name: Image digest
- # Return details of the image build: sha and shell
- run: echo ${{ steps.docker_build.outputs.digest }}
diff --git a/.github/workflows/gitpod.yml b/.github/workflows/gitpod.yml
deleted file mode 100644
index 737c3c07b..000000000
--- a/.github/workflows/gitpod.yml
+++ /dev/null
@@ -1,61 +0,0 @@
-name: Build Gitpod Docker image
-
-on:
- push:
- branches:
- - main
-
-permissions:
- contents: read # to fetch code (actions/checkout)
-
-jobs:
- build_gitpod:
- name: Build Gitpod Docker image
- runs-on: ubuntu-latest
- environment: numpy-dev
- if: "github.repository_owner == 'numpy'"
- steps:
- - name: Clone repository
- uses: actions/checkout@24cb9080177205b6e8c946b17badbe402adc938f # v3.4.0
- with:
- fetch-depth: 0
- - name: Lint Docker
- uses: hadolint/hadolint-action@54c9adbab1582c2ef04b2016b760714a4bfde3cf # v3.1.0
- with:
- dockerfile: ./tools/gitpod/gitpod.Dockerfile
- ignore: DL3059
- - name: Get refs
- shell: bash
- run: |
- export raw_branch=${GITHUB_REF#refs/heads/}
- echo "branch=${raw_branch//\//-}" >> $GITHUB_OUTPUT
- echo "date=$(date +'%Y%m%d')" >> $GITHUB_OUTPUT
- echo "sha8=$(echo ${GITHUB_SHA} | cut -c1-8)" >> $GITHUB_OUTPUT
- id: getrefs
- - name: Set up Docker Buildx
- uses: docker/setup-buildx-action@4b4e9c3e2d4531116a6f8ba8e71fc6e2cb6e6c8c # v2.5.0
- - name: Cache Docker layers
- uses: actions/cache@88522ab9f39a2ea568f7027eddc7d8d8bc9d59c8 # v3.3.1
- with:
- path: /tmp/.buildx-cache
- key: ${{ runner.os }}-buildx-${{ github.sha }}
- restore-keys: ${{ runner.os }}-buildx-
- - name: Login to Docker Hub
- uses: docker/login-action@f4ef78c080cd8ba55a85445d5b36e214a81df20a # v2.1.0
- with:
- username: ${{ secrets.DOCKERHUB_USERNAME }}
- password: ${{ secrets.DOCKERHUB_TOKEN }}
- - name: Build and push
- id: docker_build
- uses: docker/build-push-action@3b5e8027fcad23fda98b2e3ac259d8d67585f671 # v4.0.0
- with:
- context: "."
- file: "./tools/gitpod/gitpod.Dockerfile"
- push: ${{ github.event_name != 'pull_request' }}
- cache-from: type=local,src=/tmp/.buildx-cache
- 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
- # Return details of the image build: sha and shell
- run: echo ${{ steps.docker_build.outputs.digest }}