feature #13250 cache doctor rst (smoench)

OskarStark · OskarStark · commit 0bad48dbdf28 · 2020-02-27T13:15:57.000+01:00
This PR was merged into the 3.4 branch. Discussion ---------- cache doctor rst This PR adapts the latest contribution OskarStark/doctor-rst#626 Commits ------- 12f6ddc cache doctor rst
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -52,7 +52,20 @@ jobs:
             -   name: "Checkout"
                 uses: actions/checkout@v2
 
+            -   name: "Create cache dir"
+                run: mkdir .cache
+
+            -   name: "Extract base branch name"
+                run: echo "##[set-output name=branch;]$(echo ${GITHUB_BASE_REF:=${GITHUB_REF##*/}})"
+                id: extract_base_branch
+
+            -   name: "Cache DOCtor-RST"
+                uses: actions/cache@v1
+                with:
+                    path: .cache
+                    key: ${{ runner.os }}-doctor-rst-${{ steps.extract_base_branch.outputs.branch }}
+
             -   name: "Run DOCtor-RST"
                 uses: docker://oskarstark/doctor-rst
                 with:
-                    args: --short
+                    args: --short --cache-file=/github/workspace/.cache/doctor-rst.cache
