Manualbiome (#11216)

2026-08-27 15:18:09 +01:00 · 2025-07-21 22:37:45 +02:00
parent afa0b4bfdb
commit f39fdae47c
280 changed files with 18208 additions and 17558 deletions
@@ -8,11 +8,11 @@ jobs:
  remove_guide_comments:
    runs-on: ubuntu-latest
    steps:
-    - name: Checkout
-      uses: actions/checkout@v4
-    - name: Remove guide comments
-      uses: actions/github-script@v7
-      with:
-        script: |
-          const { removeGuideComments } = await import('${{ github.workspace }}/tools/pull_request_hooks/removeGuideComments.js')
-          await removeGuideComments({ github, context })
+      - name: Checkout
+        uses: actions/checkout@v4
+      - name: Remove guide comments
+        uses: actions/github-script@v7
+        with:
+          script: |
+            const { removeGuideComments } = await import('${{ github.workspace }}/tools/pull_request_hooks/removeGuideComments.js')
+            await removeGuideComments({ github, context })