[metrics] Fix overhead_program metrics for return probes #10249
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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.23.2' | |
- 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 |