Merge branch '5.4' into 6.2

* 5.4: Use DOCtor-RST 1.47.2
ConstantBqt · Jun 1, 2023 · b3b88d2 · b3b88d2
2 parents 5e2e9e8 + ba6aca9
commit b3b88d2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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.47.1
+                uses: docker://oskarstark/doctor-rst:1.47.2
                 with:
                     args: --short --error-format=github --cache-file=/github/workspace/.cache/doctor-rst.cache