Minor fix

anoma · Jul 15, 2022 · 37c56d8 · 37c56d8
1 parent 8a14c5e
commit 37c56d8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -183,7 +183,7 @@ jobs:
           make install-shelltest
           make test-shell
   docs:
-    # if: github.event.pull_request.merged == true
+    if: github.event.pull_request.merged == true
     strategy:
       matrix:
         os: [ubuntu-latest]