minor #18721 [CI] Use DOCtor-RST 1.48.4 (OskarStark)

OskarStark · OskarStark · commit e42fd3c7b100 · 2023-08-08T09:17:33.000+02:00
This PR was merged into the 5.4 branch. Discussion ---------- [CI] Use DOCtor-RST 1.48.4 Commits ------- b2ea2a0 [CI] Use DOCtor-RST 1.48.4
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.48.1
+                uses: docker://oskarstark/doctor-rst:1.48.4
                 with:
                     args: --short --error-format=github --cache-file=/github/workspace/.cache/doctor-rst.cache
 
