Skip to content

Merge remote-tracking branch 'origin/main' #1

Merge remote-tracking branch 'origin/main'

Merge remote-tracking branch 'origin/main' #1

Workflow file for this run

name: Workflow Linting
on:
push:
branches:
- main
- "release/**"
pull_request:
paths:
- .github/workflows/*
- .ci/tools/go.mod
## NOTE: !!!
## When changing these workflows, ensure that the following is updated:
## - Documentation: docs/continuous-integration.md
## - Documentation: docs/makefile-cheat-sheet.md
## - Makefile: ./GNUmakefile
jobs:
actionlint:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@eef61447b9ff4aafe5dcd4e0bbf5d482be7e7871 # v4.2.1
- uses: actions/setup-go@0a12ed9d6a96ab950c8f026ed9f722fe0da7ef32 # v5.0.2
with:
go-version-file: .ci/tools/go.mod
- name: Install actionlint
run: cd .ci/tools && go install github.com/rhysd/actionlint/cmd/actionlint
- name: Run actionlint on workflow files
run: actionlint -shellcheck=