Remove unnecessary lines in Ubuntu Clang runner

albinahlback · Mar 5, 2025 · c116a24 · c116a24
1 parent c328c4f
commit c116a24
Showing 1 changed file with 0 additions and 6 deletions.
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -311,13 +311,7 @@ jobs:
 
     runs-on: ubuntu-24.04
 
-    # NOTE: Clang is currently buggy on Ubuntu.  Hence, we temporarily allow
-    # this job to fail.
-    continue-on-error: true
-
     env:
-      LOCAL: ${{ github.workspace }}/local
-      LDFLAGS: "-Wl,-rpath,$LOCAL/lib"
       CC: "clang"
       FLINT_TEST_MULTIPLIER: "5"