Update .github/workflows/documentation.yml

FlorianT03 · greg0ire · jaapio · commit 7032615bcb4c · 2023-07-14T15:58:55.000+02:00
Co-authored-by: Grégoire Paris &lt;postmaster@greg0ire.fr&gt;
diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml
@@ -1,6 +1,6 @@
 name: "Documentation"
 
-on:
+on: # yamllint disable-line rule:truthy
   pull_request:
     branches:
       - "main"
