From aa8872e742900d3cf15a9a4b4354df8765c0c031 Mon Sep 17 00:00:00 2001
From: Dan Bonachea <dobonachea@lbl.gov>
Date: Tue, 5 May 2026 20:43:09 -0700
Subject: [PATCH 1/2] CI: Add a setup job to help resolve job concurrency in
 PRs

---
 .github/workflows/build.yml | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index c2b0f85..adae0ad 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -19,8 +19,16 @@ defaults:
     shell: bash
 
 jobs:
+  setup: # This job currently just exists to reduce cancelled job spam in PRs
+    name: Ignore me
+    runs-on: ubuntu-latest
+    steps:
+      - name: Resolve job concurrency
+        run: sleep 5
+
   build:
     name: ${{ matrix.compiler }}-${{ matrix.version }} (${{ matrix.os }})
+    needs: setup
     runs-on: ${{ matrix.os }}
     strategy:
       fail-fast: false

From d2ff3efae742c93a53d309f26ec62ad3526d8167 Mon Sep 17 00:00:00 2001
From: Dan Bonachea <dobonachea@lbl.gov>
Date: Wed, 6 May 2026 11:03:23 -0700
Subject: [PATCH 2/2] CI: Restrict LFortran testing to latest

Once LFortran 0.64 is released we'll add that
---
 .github/workflows/build.yml | 25 +++++++++----------------
 1 file changed, 9 insertions(+), 16 deletions(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index adae0ad..5284a01 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -124,26 +124,19 @@ jobs:
             container: intel/fortran-essentials:2025.2.0-0-devel-ubuntu24.04
 
           # --- LFortran coverage ---
+          # Formal now requires LFortran 0.64 or later
 
           # https://hub.docker.com/r/phhargrove/lfortran/tags
-          - os: ubuntu-24.04
-            compiler: lfortran
-            version: 0.61.0
-            container: phhargrove/lfortran:0.61.0-1
-          - os: ubuntu-24.04
-            compiler: lfortran
-            version: 0.62.0
-            container: phhargrove/lfortran:0.62.0-1
-          - os: ubuntu-24.04
-            compiler: lfortran
-            version: 0.63.0
-            container: phhargrove/lfortran:0.63.0-1
+          #- os: ubuntu-24.04
+          #  compiler: lfortran
+          #  version: 0.63.0
+          #  container: phhargrove/lfortran:0.64.0-1
 
           # https://github.com/lfortran/lfortran/pkgs/container/lfortran
-          - os: ubuntu-22.04
-            compiler: lfortran
-            version: 0.63.0
-            container: ghcr.io/lfortran/lfortran:v0.63.0
+          #- os: ubuntu-22.04
+          #  compiler: lfortran
+          #  version: 0.64.0
+          #  container: ghcr.io/lfortran/lfortran:v0.64.0
           - os: ubuntu-22.04
             compiler: lfortran
             version: latest