From b3acaaf5be698bd3ca0d010d8b3deeef9705eb36 Mon Sep 17 00:00:00 2001 From: Oskar Stark Date: Mon, 5 Oct 2020 14:27:05 +0200 Subject: [PATCH] Enhancement: Add Github error formatter for DOCtor-RST --- .github/workflows/ci.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index 402e0dc572b..26f0e537118 100644 --- 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