Skip to content

Bump github/codeql-action from 3.26.11 to 3.26.12 #2411

Bump github/codeql-action from 3.26.11 to 3.26.12

Bump github/codeql-action from 3.26.11 to 3.26.12 #2411

Workflow file for this run

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@0a12ed9d6a96ab950c8f026ed9f722fe0da7ef32 # v5.0.2
with:
go-version: 1.23.2
- name: Check out code
uses: actions/checkout@d632683dd7b4114ad314bca15554477dd762a938 # v4.2.0
- 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