Remove workflow that is not useful anymore

ocsigen · Nov 3, 2022 · f79d25f · f79d25f
1 parent 69bd080
commit f79d25f
Showing 1 changed file with 0 additions and 6 deletions.
diff --git a/.github/workflows/workflow.yml b/.github/workflows/workflow.yml
@@ -42,12 +42,6 @@ jobs:
             local-packages: |
               *.opam
               !lwt_domain.opam
-          - os: ubuntu-latest
-            ocaml-compiler: ocaml-variants.4.12.0+domains
-            libev: false
-            ppx: true
-            domain: true
-            local-packages: "*.opam"
           - os: macos-latest
             ocaml-compiler: 4.14.x
             libev: true