Merge pull request #13 from andreondra/review-ci-scripts

Review CI scripts
tropicsquare · Jan 30, 2025 · 458d31d · 458d31d
2 parents dd5c739 + f21452d
commit 458d31d
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 120 deletions.
diff --git a/.github/workflows/build_docs.yml b/.github/workflows/build_docs.yml
diff --git a/.github/workflows/integration_tests.yml b/.github/workflows/integration_tests.yml
diff --git a/.github/workflows/static_analysis.yml b/.github/workflows/static_analysis.yml
@@ -10,6 +10,8 @@ on:
 
 jobs:
   static_analysis:
+    if: ${{ false }}  # disable for now
+
     runs-on: ubuntu-22.04
 
     steps:
-Original file line number
+Diff line change
@@ Expand Up / @@ -10,6 +10,8 @@ on: @@
     jobs:
       static_analysis:
+        if: ${{ false }}  # disable for now
         runs-on: ubuntu-22.04
         steps:
@@ Expand Down @@