Skip to content
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.

Commit 92da4d7

Browse files
committedMay 22, 2023
minor #18323 Use DOCtor-RST 1.47.1 (OskarStark)
This PR was squashed before being merged into the 5.4 branch. Discussion ---------- Use DOCtor-RST 1.47.1 https://github.com/OskarStark/doctor-rst/releases/tag/1.47.1 cc `@alamirault` `@staabm` Commits ------- 84b5228 Use DOCtor-RST 1.47.1
2 parents f92acdb + 84b5228 commit 92da4d7

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed
 

‎.github/workflows/ci.yaml

+1-1
Original file line numberDiff line numberDiff line change
@@ -73,7 +73,7 @@ jobs:
7373
key: ${{ runner.os }}-doctor-rst-${{ steps.extract_base_branch.outputs.branch }}
7474

7575
- name: "Run DOCtor-RST"
76-
uses: docker://oskarstark/doctor-rst:1.46.1
76+
uses: docker://oskarstark/doctor-rst:1.47.1
7777
with:
7878
args: --short --error-format=github --cache-file=/github/workspace/.cache/doctor-rst.cache
7979

0 commit comments

Comments
 (0)
Please sign in to comment.