aboutsummaryrefslogtreecommitdiffstats
path: root/.github/workflows/check-generated-code-state.yml
diff options
context:
space:
mode:
Diffstat (limited to '.github/workflows/check-generated-code-state.yml')
-rw-r--r--.github/workflows/check-generated-code-state.yml29
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;
- }