|
|
@ -42,6 +42,18 @@ jobs:
|
|
|
|
username: ${{ secrets.DOCKER_HUB_USERNAME }}
|
|
|
|
username: ${{ secrets.DOCKER_HUB_USERNAME }}
|
|
|
|
password: ${{ secrets.DOCKER_HUB_ACCESS_TOKEN }}
|
|
|
|
password: ${{ secrets.DOCKER_HUB_ACCESS_TOKEN }}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
- name: Free disk space on Ubuntu runner
|
|
|
|
|
|
|
|
uses: kfir4444/free-disk-space@main
|
|
|
|
|
|
|
|
with:
|
|
|
|
|
|
|
|
# frees about 6 GB, warning: may remove required tools
|
|
|
|
|
|
|
|
tool-cache: false
|
|
|
|
|
|
|
|
android: true
|
|
|
|
|
|
|
|
dotnet: true
|
|
|
|
|
|
|
|
haskell: true
|
|
|
|
|
|
|
|
large-packages: true
|
|
|
|
|
|
|
|
swap-storage: true
|
|
|
|
|
|
|
|
|
|
|
|
- name: Build and push
|
|
|
|
- name: Build and push
|
|
|
|
id: docker_buildd
|
|
|
|
id: docker_buildd
|
|
|
|
uses: docker/build-push-action@v5
|
|
|
|
uses: docker/build-push-action@v5
|
|
|
|