diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/doxygen.yml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.github/workflows/doxygen.yml b/.github/workflows/doxygen.yml index c83a15e1f8..a5db458e43 100644 --- a/.github/workflows/doxygen.yml +++ b/.github/workflows/doxygen.yml @@ -32,7 +32,8 @@ jobs: if grep -q "${GITHUB_SHA}" /tmp/index.html; then exit; fi chmod go-w $HOME sudo chmod -R go-w /usr/share - - run: | + - name: Autoconf + run: | if grep -q "${GITHUB_SHA}" /tmp/index.html; then exit; fi autoconf - name: Configure |