Skip to content

Merge branch 'main' into chart-enhancements #8

Merge branch 'main' into chart-enhancements

Merge branch 'main' into chart-enhancements #8

Workflow file for this run

name: Verify codegen
permissions: {}
on:
push:
branches:
- '*'
pull_request:
branches:
- 'main'
- 'release*'
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true
jobs:
verify-codegen:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11 # v4.1.1
- name: Setup caches
uses: ./.github/actions/setup-caches
timeout-minutes: 5
continue-on-error: true
with:
build-cache-key: verify-codegen
- name: Setup build env
uses: ./.github/actions/setup-build-env
timeout-minutes: 10
- name: Verify generated code is up to date
run: make verify-codegen