Skip to content

Merge pull request #11 from eds-book-gallery/postprint #31

Merge pull request #11 from eds-book-gallery/postprint

Merge pull request #11 from eds-book-gallery/postprint #31

Workflow file for this run

name: Build and push container image
on:
push:
branches:
- main
- postprint
jobs:
build-and-push:
runs-on: ubuntu-latest
if: github.repository_owner == 'eds-book-gallery'
steps:
# For biggish images, github actions runs out of disk space.
# So we cleanup some unwanted things in the disk image, and reclaim that space for our docker use
# https://github.com/actions/virtual-environments/issues/2606#issuecomment-772683150
# and https://github.com/easimon/maximize-build-space/blob/b4d02c14493a9653fe7af06cc89ca5298071c66e/action.yml#L104
# This gives us a total of about 52G of free space, which should be enough for now
- name: cleanup disk space
run: |
sudo rm -rf /usr/local/lib/android /usr/share/dotnet /opt/ghc
df -h
- name: Checkout files in repo
uses: actions/checkout@main
# Set quay image
- name: Get properties from the config file
id: config_quay
uses: notiz-dev/github-action-json-property@release
with:
path: '.github/config.json'
prop_path: 'quay_image'
- name: Build and push the image to quay.io
uses: jupyterhub/repo2docker-action@master
with:
# Make sure username & password/token pair matches your registry credentials
DOCKER_USERNAME: ${{ secrets.QUAY_USERNAME }}
DOCKER_PASSWORD: ${{ secrets.QUAY_PASSWORD }}
DOCKER_REGISTRY: "quay.io"
# Uncomment and modify the following line with your image name, otherwise no push will happen
IMAGE_NAME: ${{steps.config_quay.outputs.prop}}
# Lets us monitor disks getting full as images get bigger over time
- name: Show how much disk space is left
run: df -h