Skip to content

tetragon: update vmlinux.h #11118

tetragon: update vmlinux.h

tetragon: update vmlinux.h #11118

name: Validate that generated files are up to date
on:
push:
branches:
- main
- v*
paths-ignore:
- 'docs/**'
pull_request:
paths-ignore:
- 'docs/**'
jobs:
generated-files:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
- name: Install Go
uses: actions/setup-go@3041bf56c941b39c61721a86cd11f3bb1338122a # v5.2.0
with:
# renovate: datasource=golang-version depName=go
go-version: '1.23.4'
- name: Go version
run: go version
- name: Validate that generated files are up to date.
run: |
make generate
make codegen
git status
git diff
test -z "$(git status --porcelain)"
if [ $? != 0 ]; then
git status --porcelain
echo "Please run 'make generate && make codegen' and submit your changes."; exit 1
fi
- name: Check Tetragon daemon flags
run: |
make generate-flags
git status
git diff
test -z "$(git status --porcelain)"
if [ $? != 0 ]; then
git status --porcelain
echo "Please run 'make generate-flags' and submit your changes'"; exit 1
fi
- name: Check metrics docs
run: |
make lint-metrics-md