-
-
Notifications
You must be signed in to change notification settings - Fork 482
Commit
- Loading branch information
There are no files selected for viewing
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,126 @@ | ||
name: Build Docker images and push to DockerHub | ||
|
||
on: | ||
workflow_dispatch: | ||
# Allow to run manually | ||
branches: | ||
- 'develop' | ||
- 'docker_hub_gha' | ||
push: | ||
tags: | ||
# Just create image on pushing a tag | ||
- '*' | ||
|
||
jobs: | ||
sagemath-dev: | ||
name: Build Docker image on target make-build and push to DockerHub sagemath-dev | ||
runs-on: ubuntu-latest | ||
steps: | ||
- name: Checkout | ||
uses: actions/checkout@v3 | ||
|
||
- name: Set tag | ||
# docker/metadata-action@v4 is not used since we need to distinguish | ||
# between latest and develop tags | ||
id: set_tag | ||
run: | | ||
git fetch --depth=1 origin +refs/tags/*:refs/tags/* | ||
TAG_NAME=$(git tag --sort=v:refname | tail -1) | ||
TAG="sagemath/sagemath-dev:$TAG_NAME" | ||
TAG_LIST="$TAG, sagemath/sagemath-dev:develop" | ||
TAG_LIST="$TAG" # don't tag develop until meaning of sagemath-dev is clear | ||
echo "TAG_NAME=$TAG_NAME" >> $GITHUB_ENV | ||
echo "TAG=$TAG" >> $GITHUB_ENV | ||
echo "TAG_LIST=$TAG_LIST" >> $GITHUB_ENV | ||
- name: Update Tag List | ||
id: upd_tag_list | ||
run: | | ||
TAG_LIST="${{ env.TAG_LIST }}, sagemath/sagemath-dev:latest" | ||
TAG_LIST="${{ env.TAG_LIST }}" # don't tag latest until meaning of sagemath-dev is clear | ||
echo "TAG_LIST=$TAG_LIST" >> $GITHUB_ENV | ||
if: "!contains(env.TAG_NAME, 'beta') && !contains(env.TAG_NAME, 'rc')" | ||
|
||
- name: Check env | ||
run: | | ||
echo ${{ env.TAG_NAME }} | ||
echo ${{ env.TAG }} | ||
echo ${{ env.TAG_LIST }} | ||
- name: Set up QEMU | ||
uses: docker/setup-qemu-action@v2 | ||
|
||
- name: Set up Docker Buildx | ||
uses: docker/setup-buildx-action@v2 | ||
|
||
- name: Login to Docker Hub | ||
uses: docker/login-action@v2 | ||
with: | ||
username: ${{ secrets.DOCKERHUB_USERNAME }} | ||
password: ${{ secrets.DOCKERHUB_TOKEN }} | ||
|
||
- name: Build and push make-build | ||
uses: docker/build-push-action@v4 | ||
with: | ||
context: . | ||
file: docker/Dockerfile | ||
target: make-build # see the corresponding header-note | ||
push: true | ||
tags: ${{ env.TAG_LIST }} | ||
cache-from: type=gha | ||
cache-to: type=gha,mode=max | ||
|
||
sagemath: | ||
needs: sagemath-dev | ||
name: Build Docker image on target sagemath and push to DockerHub sagemath | ||
runs-on: ubuntu-latest | ||
steps: | ||
- name: Checkout | ||
uses: actions/checkout@v3 | ||
|
||
- name: Set tag | ||
# docker/metadata-action@v4 is not used since we need to distinguish | ||
# between latest and develop tags | ||
id: set_tag | ||
run: | | ||
git fetch --depth=1 origin +refs/tags/*:refs/tags/* | ||
TAG_NAME=$(git tag --sort=v:refname | tail -1) | ||
TAG="sagemath/sagemath:$TAG_NAME" | ||
TAG_LIST="$TAG, sagemath/sagemath:develop" | ||
BASE="sagemath/sagemath-dev:$TAG_NAME" | ||
echo "TAG_NAME=$TAG_NAME" >> $GITHUB_ENV | ||
echo "TAG=$TAG" >> $GITHUB_ENV | ||
echo "TAG_LIST=$TAG_LIST" >> $GITHUB_ENV | ||
echo "BASE=$BASE" >> $GITHUB_ENV | ||
- name: Update Tag List | ||
id: upd_tag_list | ||
run: | | ||
TAG_LIST="${{ env.TAG_LIST }}, sagemath/sagemath:latest" | ||
echo "TAG_LIST=$TAG_LIST" >> $GITHUB_ENV | ||
if: "!contains(env.TAG_NAME, 'beta') && !contains(env.TAG_NAME, 'rc')" | ||
|
||
- name: Set up QEMU | ||
uses: docker/setup-qemu-action@v2 | ||
|
||
- name: Set up Docker Buildx | ||
uses: docker/setup-buildx-action@v2 | ||
|
||
- name: Login to Docker Hub | ||
uses: docker/login-action@v2 | ||
with: | ||
username: ${{ secrets.DOCKERHUB_USERNAME }} | ||
password: ${{ secrets.DOCKERHUB_TOKEN }} | ||
|
||
- name: Build and push sagemath | ||
uses: docker/build-push-action@v4 | ||
with: | ||
context: . | ||
file: docker/Dockerfile | ||
build-args: | | ||
MAKE_BUILD=${{ env.BASE }} | ||
target: sagemath | ||
push: true | ||
tags: ${{ env.TAG_LIST }} | ||
cache-from: type=gha | ||
cache-to: type=gha,mode=max |
This file was deleted.
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1 +1 @@ | ||
SageMath version 10.1, Release Date: 2023-08-20 | ||
SageMath version 10.2.beta0, Release Date: 2023-08-27 |
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,4 +1,4 @@ | ||
tarball=configure-VERSION.tar.gz | ||
sha1=15c6dc9764f4e9dfc526e7131483989b8ea72430 | ||
md5=c46a0fd95ab6860f6d7185ca467b1df2 | ||
cksum=427186534 | ||
sha1=d0a3737795390fc46d2cec3bf0f8c6548da2e08f | ||
md5=10be304a3521209b8c8590824ef76587 | ||
cksum=602858466 |
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1 +1 @@ | ||
aa220c4a1e34607d75d86b5abe022bd0c0358644 | ||
b1ba78aff8355d0e4fc4cdea6ec08a521303e327 |
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,5 +1,5 @@ | ||
tarball=Cython-VERSION.tar.gz | ||
sha1=015b737107304a5777f5c6552ffb12713684c924 | ||
md5=91c36ea86c00adcc5c1c11cf48b733c0 | ||
cksum=1793363471 | ||
sha1=762987c737acfe7532cb3da38b450fb6e0cf1d7b | ||
md5=a4d0f9fbc9c137f1a88937cd40e8c5ee | ||
cksum=2260471737 | ||
upstream_url=https://pypi.io/packages/source/C/Cython/Cython-VERSION.tar.gz |
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1 +1 @@ | ||
0.29.32.p2 | ||
0.29.36 |