gmagnani
159ee2590f
Some checks failed
Build and push Docker images / build-and-push (push) Failing after 1m17s
Try fix CI
50 lines
1.2 KiB
YAML
50 lines
1.2 KiB
YAML
name: Build and push Docker images
|
|
on:
|
|
push:
|
|
branches:
|
|
- main
|
|
pull_request:
|
|
branches:
|
|
- main
|
|
jobs:
|
|
build-and-push:
|
|
runs-on: ubuntu-latest
|
|
|
|
timeout-minutes: 1440
|
|
|
|
permissions:
|
|
contents: read
|
|
packages: write
|
|
attestations: write
|
|
id-token: write
|
|
|
|
env:
|
|
REGISTRY: docker.io
|
|
IMAGE_NAME: niccolon/raptor-deps:mlir0c2701f
|
|
|
|
steps:
|
|
- name: Checkout repository
|
|
uses: actions/checkout@v4
|
|
with:
|
|
github-server-url: https://chef.heaplab.deib.polimi.it/
|
|
repository: 'git/nnicolosi/Raptor-Containers/'
|
|
|
|
- name: Build Docker image
|
|
run: |
|
|
cd ${GITHUB_WORKSPACE}/mlir0c2701f
|
|
docker build -t ${REGISTRY}/${IMAGE_NAME} -f Dockerfile .
|
|
|
|
- name: Log in to the Container registry
|
|
if: ${{ github.ref == 'refs/heads/main' }}
|
|
uses: docker/login-action@9780b0c442fbb1117ed29e0efdff1e18412f7567
|
|
with:
|
|
registry: ${{ env.REGISTRY }}
|
|
username: niccolon
|
|
password: ${{ secrets.DOCKERHUB_TOKEN }}
|
|
|
|
- name: Push Docker image
|
|
if: ${{ github.ref == 'refs/heads/main' }}
|
|
id: push
|
|
run: |
|
|
docker push ${REGISTRY}/${IMAGE_NAME}
|