Enhancement: Add Github error formatter for DOCtor-RST

OskarStark · web-flow · commit b3acaaf5be69 · 2020-10-05T14:27:05.000+02:00
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -68,4 +68,4 @@ jobs:
             -   name: "Run DOCtor-RST"
                 uses: docker://oskarstark/doctor-rst
                 with:
-                    args: --short --cache-file=/github/workspace/.cache/doctor-rst.cache
+                    args: --short --error-format=github --cache-file=/github/workspace/.cache/doctor-rst.cache
