Enable FlexPRET CI again

lf-lang · Dec 7, 2024 · 7aeb5b2 · 7aeb5b2
1 parent f505260
commit 7aeb5b2
Showing 1 changed file with 7 additions and 7 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -55,13 +55,13 @@ jobs:
       compiler-ref: ${{ needs.fetch-lf.outputs.ref }}
     if: ${{ !github.event.pull_request.draft ||contains( github.event.pull_request.labels.*.name, 'zephyr') }}
 
-#  lf-default-flexpret:
-#   needs: [fetch-lf]
-#   uses: lf-lang/lingua-franca/.github/workflows/c-flexpret-tests.yml@master
-#   with:
-#     runtime-ref: ${{ github.ref }}
-#     compiler-ref: ${{ needs.fetch-lf.outputs.ref }}
-#   if: ${{ !github.event.pull_request.draft ||contains( github.event.pull_request.labels.*.name, 'flexpret') }}
+  lf-default-flexpret:
+    needs: [fetch-lf]
+    uses: lf-lang/lingua-franca/.github/workflows/c-flexpret-tests.yml@master
+    with:
+      runtime-ref: ${{ github.ref }}
+      compiler-ref: ${{ needs.fetch-lf.outputs.ref }}
+    if: ${{ !github.event.pull_request.draft ||contains( github.event.pull_request.labels.*.name, 'flexpret') }}
 
   lf-default:
     needs: [fetch-lf]