From 8784c0242fb9731cfae13430bfbf687f44d625e4 Mon Sep 17 00:00:00 2001
From: Nicolas Stucki <nicolas.stucki@gmail.com>
Date: Fri, 18 Dec 2020 11:20:29 +0100
Subject: [PATCH] Add a way to skip scala3docs CI

Now we can skip the docs CI using `[skip ci]` or `[skip docs]`.
---
 .github/workflows/scala3doc.yaml | 14 ++++++++++++--
 1 file changed, 12 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/scala3doc.yaml b/.github/workflows/scala3doc.yaml
index 440cd6c8753f..6f8c3228323e 100644
--- a/.github/workflows/scala3doc.yaml
+++ b/.github/workflows/scala3doc.yaml
@@ -8,7 +8,12 @@ jobs:
     env:
       AZURE_STORAGE_SAS_TOKEN: ${{ secrets.AZURE_STORAGE_SAS_TOKEN }}
     runs-on: ubuntu-latest
-    if: "github.event_name == 'pull_request' || contains(github.event.ref, 'scala3doc') || contains(github.event.ref, 'master')"
+    if: "(    github.event_name == 'pull_request'
+           && !contains(github.event.pull_request.body, '[skip ci]')
+           && !contains(github.event.pull_request.body, '[skip docs]')
+         )
+         || contains(github.event.ref, 'scala3doc')
+         || contains(github.event.ref, 'master')"
 
     steps:
       - name: Git Checkout
@@ -67,7 +72,12 @@ jobs:
     env:
       AZURE_STORAGE_SAS_TOKEN: ${{ secrets.AZURE_STORAGE_SAS_TOKEN }}
     runs-on: ubuntu-latest
-    if: "github.event_name == 'pull_request' || contains(github.event.ref, 'scala3doc') || contains(github.event.ref, 'master')"
+    if: "(    github.event_name == 'pull_request'
+           && !contains(github.event.pull_request.body, '[skip ci]')
+           && !contains(github.event.pull_request.body, '[skip docs]')
+         )
+         || contains(github.event.ref, 'scala3doc')
+         || contains(github.event.ref, 'master')"
 
     steps:
       - name: Git Checkout