You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
|
|
|
|
name: Generate Files
|
|
|
|
|
|
|
|
|
|
# After any push to the main branch, re-generate pregenerated files.
|
|
|
|
|
on:
|
|
|
|
|
push:
|
|
|
|
|
branches:
|
|
|
|
|
- main
|
|
|
|
|
|
|
|
|
|
jobs:
|
|
|
|
|
generate:
|
|
|
|
|
runs-on: ubuntu-20.04
|
|
|
|
|
|
|
|
|
|
steps:
|
|
|
|
|
- uses: actions/checkout@v2
|
|
|
|
|
- name: Merge generated branch with main
|
|
|
|
|
run: cd ${{ github.workspace }} && (git checkout generated || git checkout -b generated) && git merge --no-edit main
|
|
|
|
|
- name: Rebuild generated CMake files
|
|
|
|
|
run: cd ${{ github.workspace }} && bazel test cmake:test_generated_files || bazel-bin/cmake/test_generated_files --fix
|
|
|
|
|
- name: Commit and push changes to generated files
|
|
|
|
|
run: cd ${{ github.workspace }} && git add -A && (git diff --staged --quiet || git commit -am "Regenerated files") && git push
|
