From f79d25f6fedd4749d40568b0996e2acd72ceb7e2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Rapha=C3=ABl=20Proust?= <code@bnwr.net>
Date: Thu, 3 Nov 2022 11:21:19 +0100
Subject: [PATCH] Remove workflow that is not useful anymore

---
 .github/workflows/workflow.yml | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/.github/workflows/workflow.yml b/.github/workflows/workflow.yml
index a3a8cb259..ab8673dee 100644
--- 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