minor #1031 [CI] Update DOCtor-RST to 1.72.0 (OskarStark)

This PR was merged into the main branch.

Discussion
----------

[CI] Update DOCtor-RST to 1.72.0

| Q             | A
| ------------- | ---
| Bug fix?      | no
| New feature?  | no
| Docs?         | no
| Issues        | --
| License       | MIT

Commits
-------

7870a67 Update DOCtor-RST to 1.72.0

Author: OskarStark

.github/workflows/doctor-rst.yaml

@@ -34,6 +34,6 @@ jobs:
                   key: doctor-rst-${{ steps.extract_base_branch.outputs.branch }}
 
             - name: DOCtor-RST
-              uses: docker://oskarstark/doctor-rst:1.70.2
+              uses: docker://oskarstark/doctor-rst:1.72.0
               with:
                   args: --short --error-format=github --cache-file=/github/workspace/.cache/doctor-rst.cache