merge.yaml

name: build

on:
  pull_request:
    types: [ closed ]

permissions:
  contents: read

jobs:
  do-not-merge:
    if: ${{ contains(github.event.*.labels.*.name, 'do not merge') }}
    name: Prevent Merging
    runs-on: ubuntu-22.04
    steps:
      - name: Check for label
        run: |
          echo "Pull request is labeled as 'do not merge'"
          echo "This workflow fails so that the pull request cannot be merged"
          exit 1
  build:
    if: github.event.pull_request.merged == true
    name: Run Tests
    runs-on: ubuntu-22.04
    steps:

      - name: Set up Go 1.23
        uses: actions/setup-go@3041bf56c941b39c61721a86cd11f3bb1338122a # v5.2.0
        with:
          go-version: 1.23.4

      - name: Check out code
        uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2

      - name: Run Tests
        run: make test
        env:
          SHELL: /bin/bash

  close_job:
    if: github.event.pull_request.merged == false
    runs-on: ubuntu-22.04
    steps:
      - run: |
          echo PR #${{ github.event.number }} has been closed without being merged