From dd81e1e3345b91c4cb4653b697c1054526f6b924 Mon Sep 17 00:00:00 2001 From: dundargoc Date: Sun, 12 Nov 2023 21:40:24 +0100 Subject: ci: refactor CI files Mostly rename file and variable names to be more consistent. This makes it easier to locate them in the "Actions" tab on github. --- .github/workflows/api-docs.yml | 34 ---------------------------------- 1 file changed, 34 deletions(-) delete mode 100644 .github/workflows/api-docs.yml (limited to '.github/workflows/api-docs.yml') diff --git a/.github/workflows/api-docs.yml b/.github/workflows/api-docs.yml deleted file mode 100644 index 181e3a1a41..0000000000 --- a/.github/workflows/api-docs.yml +++ /dev/null @@ -1,34 +0,0 @@ -# Check if any PR needs to run the autogenerate script -name: Autogenerate API docs and types -on: - pull_request: - types: [opened, synchronize, reopened, ready_for_review] - paths: - - 'src/nvim/api/*.[ch]' - - 'src/nvim/eval.lua' - - 'runtime/lua/**.lua' - - 'runtime/doc/**' - -jobs: - regen-api-docs-and-types: - runs-on: ubuntu-latest - if: github.event.pull_request.draft == false - permissions: - contents: write - pull-requests: write - steps: - - uses: actions/checkout@v4 - - uses: ./.github/actions/setup - - - name: Install dependencies - run: | - sudo apt-get install -y doxygen python3-msgpack - - - name: Generate docs - run: | - make doc - if [ -n "$(git status --porcelain)" ]; then - echo "::error::Job failed, run 'make doc' and commit your doc changes." - echo "::error::The doc generation produces the following changes:" - git diff --color --exit-code - fi -- cgit