From 929cbc0bc8b4838368f6d85fa3a9c282cd9986f8 Mon Sep 17 00:00:00 2001 From: Oskar Stark Date: Wed, 8 Feb 2023 06:08:39 +0100 Subject: [PATCH] Use DOCtor-RST 1.40.0 --- .github/workflows/ci.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index 2e9cb4e4ee7..1be6d19ddf9 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -73,7 +73,7 @@ jobs: key: ${{ runner.os }}-doctor-rst-${{ steps.extract_base_branch.outputs.branch }} - name: "Run DOCtor-RST" - uses: docker://oskarstark/doctor-rst:1.38.2 + uses: docker://oskarstark/doctor-rst:1.40.0 with: args: --short --error-format=github --cache-file=/github/workspace/.cache/doctor-rst.cache