Skip to content

Pin basicpy version in pip install #14

Pin basicpy version in pip install

Pin basicpy version in pip install #14

name: Docker delete tags
# This workflow uses actions that are not certified by GitHub.
# They are provided by a third-party and are governed by
# separate terms of service, privacy policy, and support
# documentation.
on:
pull_request:
branches: [ "main" ]
types: [ closed ]
env:
# Use docker.io for Docker Hub if empty
REGISTRY: ghcr.io
JAX_VERSION : 0.4.23
JAX_CONDA_IMAGE_NAME : "yfukai/conda-jax"
# github.repository as <account>/<repo>
IMAGE_NAME: ${{ github.repository }}
jobs:
build:
runs-on: ubuntu-latest
permissions:
contents: read
packages: write
# This is used to complete the identity challenge
# with sigstore/fulcio when running outside of PRs.
id-token: write
steps:
- name: Checkout repository
uses: actions/checkout@v3
# Install the cosign tool except on PR
# https://github.com/sigstore/cosign-installer
- name: Install Cosign
uses: sigstore/[email protected]
with:
cosign-release: 'v2.2.1'
# Workaround: https://github.com/docker/build-push-action/issues/461
- name: Setup Docker buildx
uses: docker/setup-buildx-action@79abd3f86f79a9d68a23c75a09a9a85889262adf
# Login against a Docker registry except on PR
# https://github.com/docker/login-action
- name: Log into registry ${{ env.REGISTRY }}
uses: docker/login-action@28218f9b04b4f3f62068d7b6ce6ca5b26e35336c
with:
registry: ${{ env.REGISTRY }}
username: ${{ github.actor }}
password: ${{ secrets.GITHUB_TOKEN }}
- name: Delete image (JAX conda CPU)
uses: bots-house/[email protected]
with:
owner: yfukai
name: ${{ env.JAX_CONDA_IMAGE_NAME }}
token: ${{ secrets.GITHUB_TOKEN }}
tag: pr-${{github.event.pull_request.number }}
- name: Delete image (JAX conda GPU)
uses: bots-house/[email protected]
with:
owner: yfukai
name: ${{ env.JAX_CONDA_IMAGE_NAME }}
token: ${{ secrets.GITHUB_TOKEN }}
tag: pr-${{github.event.pull_request.number }}-cuda
- name: Delete image (JAX conda CPU)
uses: bots-house/[email protected]
with:
owner: yfukai
name: ${{ env.IMAGE_NAME }}
token: ${{ secrets.GITHUB_TOKEN }}
tag: pr-${{github.event.pull_request.number }}
- name: Delete image (JAX conda GPU)
uses: bots-house/[email protected]
with:
owner: yfukai
name: ${{ env.IMAGE_NAME }}
token: ${{ secrets.GITHUB_TOKEN }}
tag: pr-${{github.event.pull_request.number }}-cuda