Run only failing CI tests

lf-lang · Jan 17, 2025 · 6ac1e5d · 6ac1e5d
1 parent 35ebba7
commit 6ac1e5d
Show file tree

Hide file tree

Showing 3 changed files with 33 additions and 36 deletions.
diff --git a/.github/workflows/all-targets.yml b/.github/workflows/all-targets.yml
@@ -28,29 +28,26 @@ jobs:
   c:
     uses: ./.github/workflows/only-c.yml
     needs: check-diff
-    if: ${{ needs.check-diff.outputs.run_c == 'true' }}
 
   cpp:
     uses: ./.github/workflows/only-cpp.yml
     needs: check-diff
-    if: ${{ needs.check-diff.outputs.run_cpp == 'true' }}
 
-  py:
-    uses: ./.github/workflows/only-py.yml
-    needs: check-diff
-    if: ${{ needs.check-diff.outputs.run_py == 'true' || needs.check-diff.outputs.run_c == 'true' }}
+  # py:
+  #   uses: ./.github/workflows/only-py.yml
+  #   needs: check-diff
+  #   if: ${{ needs.check-diff.outputs.run_py == 'true' || needs.check-diff.outputs.run_c == 'true' }}
 
-  rs:
-    uses: ./.github/workflows/only-rs.yml
-    needs: check-diff
-    if: ${{ needs.check-diff.outputs.run_rs == 'true' }}
+  # rs:
+  #   uses: ./.github/workflows/only-rs.yml
+  #   needs: check-diff
+  #   if: ${{ needs.check-diff.outputs.run_rs == 'true' }}
 
-  ts:
-    uses: ./.github/workflows/only-ts.yml
-    needs: check-diff
-    if: ${{ needs.check-diff.outputs.run_ts == 'true' }}
+  # ts:
+  #   uses: ./.github/workflows/only-ts.yml
+  #   needs: check-diff
+  #   if: ${{ needs.check-diff.outputs.run_ts == 'true' }}
 
   serialization:
-    if: ${{ needs.check-diff.outputs.run_c == 'true' || needs.check-diff.outputs.run_py == 'true' || needs.check-diff.outputs.run_ts == 'true' }}
     needs: check-diff
     uses: ./.github/workflows/serialization-tests.yml
diff --git a/.github/workflows/only-c.yml b/.github/workflows/only-c.yml
@@ -13,24 +13,24 @@ concurrency:
   cancel-in-progress: ${{ github.ref != 'refs/heads/master' }}
 
 jobs:
-  # Run the C integration tests.
-  default:
-    uses: ./.github/workflows/c-tests.yml
-    with:
-      all-platforms: ${{ github.event_name == 'schedule' || github.event_name == 'workflow_dispatch' }}
+  # # Run the C integration tests.
+  # default:
+  #   uses: ./.github/workflows/c-tests.yml
+  #   with:
+  #     all-platforms: ${{ github.event_name == 'schedule' || github.event_name == 'workflow_dispatch' }}
 
-  # Run the C benchmark tests.
-  benchmarking:
-    uses: lf-lang/benchmarks-lingua-franca/.github/workflows/benchmark-tests.yml@main
-    with:
-      target: "C"
+  # # Run the C benchmark tests.
+  # benchmarking:
+  #   uses: lf-lang/benchmarks-lingua-franca/.github/workflows/benchmark-tests.yml@main
+  #   with:
+  #     target: "C"
 
-  # Run the CCpp integration tests.
-  ccpp:
-    uses: ./.github/workflows/c-tests.yml
-    with:
-      use-cpp: true
-      all-platforms: ${{ github.event_name == 'schedule' || github.event_name == 'workflow_dispatch' }}
+  # # Run the CCpp integration tests.
+  # ccpp:
+  #   uses: ./.github/workflows/c-tests.yml
+  #   with:
+  #     use-cpp: true
+  #     all-platforms: ${{ github.event_name == 'schedule' || github.event_name == 'workflow_dispatch' }}
 
   # Run the Uclid-based LF Verifier benchmarks.
   verifier:

diff --git a/.github/workflows/only-cpp.yml b/.github/workflows/only-cpp.yml
@@ -13,11 +13,11 @@ concurrency:
   cancel-in-progress: ${{ github.ref != 'refs/heads/master' }}
 
 jobs:
-  # Run the C++ benchmark tests.
-  cpp-benchmark-tests:
-    uses: lf-lang/benchmarks-lingua-franca/.github/workflows/benchmark-tests.yml@main
-    with:
-      target: "Cpp"
+  # # Run the C++ benchmark tests.
+  # cpp-benchmark-tests:
+  #   uses: lf-lang/benchmarks-lingua-franca/.github/workflows/benchmark-tests.yml@main
+  #   with:
+  #     target: "Cpp"
 
   # Run the C++ integration tests.
   cpp-tests: