diff options
Diffstat (limited to '.github/workflows/check-generated-code-state.yml')
| -rw-r--r-- | .github/workflows/check-generated-code-state.yml | 29 |
1 files changed, 0 insertions, 29 deletions
diff --git a/.github/workflows/check-generated-code-state.yml b/.github/workflows/check-generated-code-state.yml deleted file mode 100644 index 70eb72ec..00000000 --- a/.github/workflows/check-generated-code-state.yml +++ /dev/null @@ -1,29 +0,0 @@ -name: Check generated code state - -on: - push: - branches: - - "main" - pull_request: - -jobs: - check-generated-code-state: - runs-on: ubuntu-latest - steps: - - uses: actions/checkout@v2 - - uses: rhysd/action-setup-vim@v1 - with: - neovim: true - version: v0.8.0 - - - name: make generate - run: make generate - - - name: Ensure there are no diffs - run: | - git update-index -q --refresh - git diff - git diff-index --exit-code --quiet HEAD -- || { - echo '::error::Generated code is not up to date, run "make generate".'; - exit 1; - } |
