make docker #17
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # GitHub workflow for `make docker-*`. | |
| name: make docker | |
| # https://docs.github.com/en/actions/using-workflows/events-that-trigger-workflows | |
| on: | |
| # Trigger workflow in GitHub web frontend or from API. | |
| workflow_dispatch: | |
| inputs: | |
| docker-image: | |
| description: 'Docker image' | |
| required: true | |
| default: 'minimum' | |
| type: choice | |
| options: | |
| - 'minimum' | |
| - 'minimum-cuda' | |
| - 'medium' | |
| - 'medium-cuda' | |
| - 'maximum' | |
| - 'maximum-cuda' | |
| upload-dockerhub: | |
| description: 'Upload Docker image to Dockerhub' | |
| default: False | |
| type: boolean | |
| upload-github: | |
| description: 'Upload Docker image Github Container Registry' | |
| default: False | |
| type: boolean | |
| upterm-session: | |
| description: 'Run SSH login server for debugging' | |
| default: False | |
| type: boolean | |
| # not yet: | |
| #push: | |
| # branches: [ "master" ] | |
| jobs: | |
| make: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: Remove Docker images | |
| run: | | |
| df -h | |
| docker images | |
| docker rmi $(docker images --filter=reference="alpine:*" -q) | |
| docker rmi $(docker images --filter=reference="debian:*" -q) | |
| docker rmi $(docker images --filter=reference="node:*" -q) | |
| df -h / | |
| - name: Remove unneeded Debian packages | |
| run: | | |
| sudo apt-get install -y deborphan | |
| sudo apt-get purge -y $(deborphan -a | fgrep -e main/cli-mono -e main/database -e main/devel -e main/httpd -e main/php -e main/vcs | while read _ pkg; do echo $package; done) | |
| deborphan | sort | |
| sudo du -mscx /* 2>/dev/null || true | |
| sudo du -mscx /opt/* 2>/dev/null || true | |
| sudo du -mscx /usr/* 2>/dev/null || true | |
| df -h / | |
| - name: Remove Homebrew, Android and .NET | |
| run: | | |
| # https://github.com/actions/virtual-environments/issues/2606#issuecomment-772683150 | |
| # NONINTERACTIVE=1 /bin/bash -c "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/HEAD/uninstall.sh)" | |
| sudo rm -rf /home/linuxbrew # will release Homebrew | |
| sudo rm -rf /usr/local/lib/android # will release about 10 GB if you don't need Android | |
| sudo rm -rf /usr/share/dotnet # will release about 20GB if you don't need .NET | |
| sudo rm -rf /opt/ghc | |
| sudo rm -rf /usr/local/share/boost | |
| sudo rm -rf "$AGENT_TOOLSDIRECTORY" | |
| sudo du -mscx /* 2>/dev/null || true | |
| df -h / | |
| - name: Setup upterm session | |
| # interactive SSH logins for debugging | |
| if: github.event.inputs.upterm-session == 'true' | |
| uses: lhotari/action-upterm@v1 | |
| - name: Make Docker image | |
| run: make docker-${{ github.event.inputs.docker-image }} GIT_DEPTH=--single-branch | |
| - name: Generate ocrd-all-tool.json | |
| # the Docker build will set OCRD_MODULES inside the image, which we can re-use | |
| # regardless of whether we have /build, we can just use the Makefile from outside again | |
| run: | | |
| export OCRD_MODULES=$(docker run --rm ocrd/all:${{ github.event.inputs.docker-image }} bash -c 'echo $OCRD_MODULES') | |
| make ocrd-all-tool.json | |
| wc -l ocrd-all-tool.json | |
| - name: Upload ocrd-all-tool.json | |
| uses: actions/upload-artifact@v4 | |
| with: | |
| name: ${{ github.event.inputs.docker-image }}_ocrd-all-tool.json | |
| path: ./ocrd-all-tool.json | |
| # if-no-files-found: error | |
| - name: Login to Docker Hub | |
| if: github.event.inputs.upload-dockerhub == 'true' | |
| run: echo ${{ secrets.DOCKERHUB_PASSWORD }} | docker login --username ${{ secrets.DOCKERHUB_USERNAME }} --password-stdin | |
| - name: Push to Docker Hub | |
| if: github.event.inputs.upload-dockerhub == 'true' | |
| run: | | |
| docker push ocrd/all:${{ github.event.inputs.docker-image }} | |
| if test ${{ github.event.inputs.docker-image }} = maximum; then | |
| # Alias Docker image. | |
| docker tag ocrd/all:maximum ocrd/all:latest | |
| docker push ocrd/all:latest | |
| fi | |
| - name: Login to GitHub Container Registry | |
| if: github.event.inputs.upload-github == 'true' | |
| uses: docker/login-action@v2 | |
| with: | |
| registry: ghcr.io | |
| username: ${{ github.actor }} | |
| password: ${{ secrets.GITHUB_TOKEN }} | |
| - name: Push to Github Container Registry | |
| if: github.event.inputs.upload-github == 'true' | |
| run: | | |
| docker tag ocrd/all:${{ github.event.inputs.docker-image }} ghcr.io/ocr-d/all:${{ github.event.inputs.docker-image }} | |
| docker push ghcr.io/ocr-d/all:${{ github.event.inputs.docker-image }} | |
| if test ${{ github.event.inputs.docker-image }} = maximum; then | |
| # Alias Docker image. | |
| docker tag ocrd/all:maximum ghcr.io/ocr-d/all:latest | |
| docker push ghcr.io/ocr-d/all:latest | |
| fi | |