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/git/'
          repository: '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}