diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 08cd72294..7920c722e 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -147,7 +147,7 @@ jobs: coverage report -m docs: - name: Check that documentation compiles + name: Documentation Compilation runs-on: ubuntu-latest steps: - uses: actions/checkout@v3