From ed91406cf36f79a5b3baa8531f012cfe7d33bc74 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias <e+git@x80.org>
Date: Fri, 30 Aug 2024 22:43:08 +0200
Subject: [PATCH] [ci] debug: don't run unnecessary jobs

---
 .github/workflows/build.yml | 97 +------------------------------------
 1 file changed, 2 insertions(+), 95 deletions(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 36bdc9aa..e3c864fe 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -4,6 +4,7 @@ on:
   push:
     branches:
       - main
+      - v8.21
       - v8.20
       - v8.19
       - v8.18
@@ -13,6 +14,7 @@ on:
   pull_request:
     branches:
       - main
+      - v8.21
       - v8.20
       - v8.19
       - v8.18
@@ -30,20 +32,6 @@ jobs:
     strategy:
       matrix:
         include:
-          - os: ubuntu-latest
-            ocaml: 4.14.x
-          - os: ubuntu-latest
-            ocaml: 4.13.x
-          - os: ubuntu-latest
-            ocaml: 4.12.x
-          - os: ubuntu-latest
-            ocaml: 5.0.x
-          - os: ubuntu-latest
-            ocaml: 5.1.x
-          - os: ubuntu-latest
-            ocaml: 5.2.x
-          - os: macos-latest
-            ocaml: 4.14.x
           - name: Windows Latest
             ocaml: 4.14.x
             os: windows-latest
@@ -79,84 +67,3 @@ jobs:
 
       - name: 🐛 Test fcc
         run: opam exec -- make test-compiler
-
-  build-opam:
-    name: Opam dev install
-    strategy:
-      fail-fast: false
-    runs-on: ubuntu-latest
-    steps:
-      - name: 🔭 Checkout code
-        uses: actions/checkout@v4
-        with:
-          submodules: recursive
-
-      - name: 🐫 Setup OCaml
-        uses: ocaml/setup-ocaml@v3
-        with:
-          ocaml-compiler: 4.14.x
-          dune-cache: true
-
-      - name: Install Coq and SerAPI into OPAM switch
-        run: |
-          opam install lwt logs # Also build pet-server
-          opam install memprof-limits # We need to do this to avoid coq-lsp rebuilding Coq below due to deptops
-          opam install vendor/coq/{coq-core,coq-stdlib,coqide-server,coq}.opam
-
-      - name: Install `coq-lsp` into OPAM switch
-        run: opam install .
-
-      - name: Test `coq-lsp` in installed switch
-        run: opam exec -- fcc examples/Demo.v
-
-      - name: Test `pet-server` is built
-        run: opam exec -- which pet-server
-
-  build-nix:
-    name: Nix
-    strategy:
-      matrix:
-        os: [ubuntu-latest, macOS-latest]
-      fail-fast: false
-
-    runs-on: ${{ matrix.os }}
-
-    steps:
-      - name: 🔭 Checkout code
-        uses: actions/checkout@v3
-        with:
-          submodules: recursive
-
-      - name: ❄️ Setup Nix
-        uses: cachix/install-nix-action@v27
-
-      - name: 🧱 Build coq-lsp
-        run: nix build '.?submodules=1#'
-
-  client-compile:
-    runs-on: ubuntu-latest
-    defaults:
-      run:
-        working-directory: ./editor/code
-    steps:
-      - name: 🔭 Checkout code
-        uses: actions/checkout@v4
-      - name: 🚀 Setup node
-        uses: actions/setup-node@v3
-        with:
-          node-version: 18
-      - run: npm ci
-      - run: npx --yes @vscode/vsce ls
-
-  nix-flake-check:
-    name: Nix Flake Check
-    runs-on: ubuntu-latest
-    steps:
-      - name: 🔭 Checkout code
-        uses: actions/checkout@v4
-        with:
-          submodules: recursive
-      - name: ❄️ Setup Nix
-        uses: cachix/install-nix-action@v18
-      - name: 📐 Run flake check
-        run: nix flake check