Build and push latest image #6295
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
| name: Build and push latest image | |
| on: | |
| push: | |
| branches: | |
| - main | |
| - stable | |
| schedule: | |
| # We run it every 4 hours, starting at 03:15. | |
| # Note that this will only update the 'latest' tag (not the 'stable' tag). | |
| # Ideally, we would update the image every time the base image (p4lang/pi) | |
| # is updated, but we deem this good enough. | |
| - cron: '15 3-23/4 * * *' # "At minute 15 past every 4th hour from 3 through 23." | |
| jobs: | |
| build: | |
| if: ${{ github.repository == 'p4lang/behavioral-model' }} | |
| runs-on: [ubuntu-latest] | |
| steps: | |
| - uses: actions/checkout@v4 | |
| with: | |
| submodules: recursive | |
| - name: Determine Docker image tag | |
| id: get-tag | |
| shell: bash | |
| run: | | |
| TAG="" | |
| if [[ "$GITHUB_REF" =~ "main" ]]; then | |
| TAG="latest" | |
| elif [[ "$GITHUB_REF" =~ "stable" ]]; then | |
| TAG="stable" | |
| else | |
| echo "Invalid Github ref $GITHUB_REF" | |
| exit 1 | |
| fi | |
| echo "Tag is $TAG" | |
| echo "tag=$TAG" >> $GITHUB_OUTPUT | |
| - name: Set up Docker Buildx | |
| uses: docker/setup-buildx-action@v3 | |
| - name: Login to DockerHub | |
| uses: docker/login-action@v3 | |
| with: | |
| username: ${{ secrets.DOCKER_USERNAME }} | |
| password: ${{ secrets.DOCKER_PASSWORD }} | |
| - name: Build and push Docker image to registry | |
| uses: docker/build-push-action@v6 | |
| with: | |
| context: . | |
| push: true | |
| tags: p4lang/behavioral-model:${{ steps.get-tag.outputs.tag }} | |
| cache-from: type=gha | |
| cache-to: type=gha,mode=max | |
| build-no-pi: | |
| if: ${{ github.repository == 'p4lang/behavioral-model' && github.ref == 'refs/heads/main' }} | |
| runs-on: [ubuntu-latest] | |
| steps: | |
| - uses: actions/checkout@v4 | |
| with: | |
| submodules: recursive | |
| - name: Set up Docker Buildx | |
| uses: docker/setup-buildx-action@v3 | |
| - name: Login to DockerHub | |
| uses: docker/login-action@v3 | |
| with: | |
| username: ${{ secrets.DOCKER_USERNAME }} | |
| password: ${{ secrets.DOCKER_PASSWORD }} | |
| - name: Build and push Docker image to registry | |
| uses: docker/build-push-action@v6 | |
| with: | |
| context: . | |
| file: Dockerfile.noPI | |
| push: true | |
| tags: p4lang/behavioral-model:no-pi | |
| cache-from: type=gha | |
| cache-to: type=gha,mode=max |