diff --git a/.github/workflows/docker.yaml b/.github/workflows/docker.yaml new file mode 100644 index 0000000..2a0d470 --- /dev/null +++ b/.github/workflows/docker.yaml @@ -0,0 +1,26 @@ +name: Docker image + +on: + push: + branches: + - 'main' + tags: + - 'v*' # version tags + +jobs: + build: + runs-on: ubuntu-latest + + steps: + - uses: actions/checkout@v4 + with: + submodules: true + + - run: df -h + - run: sudo rm -rf /usr/share/dotnet && df -h + - run: sudo rm -rf /usr/local/lib/android && df -h + - run: sudo rm -rf /opt/ghc && df -h + - run: sudo rm -rf /opt/hostedtoolcache/CodeQL && df -h + # - run: sudo docker image prune --all --force && df -h + + - run: ./docker/build.sh