Skip to content

Make event cache tunable #9682

Make event cache tunable

Make event cache tunable #9682

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@692973e3d937129bcbf40652eb9f2f61becf3332 # v4.1.7
- name: Install Go
uses: actions/setup-go@0a12ed9d6a96ab950c8f026ed9f722fe0da7ef32 # v5.0.2
with:
# renovate: datasource=golang-version depName=go
go-version: '1.22.7'
- 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