diff options
| author | Yuri Sizov <yuris@humnom.net> | 2021-07-13 19:52:27 +0300 |
|---|---|---|
| committer | Yuri Sizov <yuris@humnom.net> | 2021-07-14 14:21:03 +0300 |
| commit | 0f78e36e1cc2993d212342ea762823549d6603b1 (patch) | |
| tree | f5a23f6deb6c9dc7e8d368511fb98058978f0a4d /.github/workflows | |
| parent | d5b8abdb67e0dad745ea4037e5eb52745c96bae7 (diff) | |
Check if there are new docs missing on CI
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/linux_builds.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/linux_builds.yml b/.github/workflows/linux_builds.yml index ace1ce3fec..1b68f66956 100644 --- a/.github/workflows/linux_builds.yml +++ b/.github/workflows/linux_builds.yml @@ -85,7 +85,7 @@ jobs: echo "Running --doctool to see if this changes the public API without updating the documentation." echo -e "If a diff is shown, it means that your code/doc changes are incomplete and you should update the class reference with --doctool.\n\n" VK_ICD_FILENAMES=$(pwd)/vk_swiftshader_icd.json DRI_PRIME=0 xvfb-run bin/godot.linuxbsd.opt.tools.64 --doctool . 2>&1 > /dev/null || true - git diff --color --exit-code + git diff --color --exit-code && ! git ls-files --others --exclude-standard | sed -e 's/^/New doc file missing in PR: /' | grep 'xml$' - uses: actions/upload-artifact@v2 with: |