disabling compiler version 4.12.0 from the ci workflow for now

rems-project · Jul 5, 2023 · 23265ef · 23265ef
1 parent 073951a
commit 23265ef
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -10,7 +10,9 @@ jobs:
  build:
  strategy:
  matrix:
- version: [4.12.0, 4.14.1]
+ # version: [4.12.0, 4.14.1]
+ version: [4.14.1]
+
 
  runs-on: ubuntu-22.04