Merge 1c0eeb3 into 11f7aed

pureconfig · Oct 25, 2020 · 19aa7cb · 19aa7cb
2 parents 11f7aed + 1c0eeb3
commit 19aa7cb
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -115,7 +115,10 @@ jobs:
 
       - name: Comment on pull request
         if: steps.diff_website.outcome == 'failure'
-        uses: thollander/actions-comment-pull-request@1.0.0
+        # FIXME: Stop using the master branch once a stable version with
+        #        https://github.com/thollander/actions-comment-pull-request/pull/18 is
+        #        released.
+        uses: thollander/actions-comment-pull-request@master
         with:
           message: >
             Warning: the content of the PureConfig website changed with this pull request. This may