From 7aeb5b2fbea4a37390c38c1e02c3050a25395c42 Mon Sep 17 00:00:00 2001
From: erlingrj <erling.jellum@gmail.com>
Date: Fri, 6 Dec 2024 17:33:06 -0800
Subject: [PATCH] Enable FlexPRET CI again

---
 .github/workflows/ci.yml | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 634c6d120..ae670e1fa 100644
--- 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]