diff options
author | Wojtek Mach <wojtek@wojtekmach.pl> | 2021-08-29 18:59:29 +0200 |
---|---|---|
committer | Wojtek Mach <wojtek@wojtekmach.pl> | 2021-08-29 18:59:29 +0200 |
commit | b0a957f74dda0aeb89f3278a1b8c0e8601e7c303 (patch) | |
tree | 5e17f981976c44cfdedd52e52677c9d6dc1cefa8 /.github | |
parent | f59eac7b9ce50df08ba583edf5b4d66b7a3b7c7a (diff) | |
download | erlang-b0a957f74dda0aeb89f3278a1b8c0e8601e7c303.tar.gz |
ci: Fix typo
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/main.yaml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/main.yaml b/.github/workflows/main.yaml index 0f09ab3d4d..38a9f61c7b 100644 --- a/.github/workflows/main.yaml +++ b/.github/workflows/main.yaml @@ -173,7 +173,7 @@ jobs: ## Documentation checks - if: matrix.type == 'documentation' - name: Run xmllimt + name: Run xmllint run: docker run otp "make xmllint" - if: matrix.type == 'documentation' name: Run html link check |