From 5bca19309b303e1ae0360a89e093b0efe53b335a Mon Sep 17 00:00:00 2001
From: zapashcanon <leo@ndrs.fr>
Date: Tue, 13 Feb 2024 13:05:56 +0100
Subject: [PATCH] remove useless CI stuff

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

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 0faaf8a11..6bb63e922 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -35,9 +35,7 @@ jobs:
           allow-prerelease-opam: true
       - name: setup
         run: |
-          opam depext -y owi
           opam install -y ./*.opam --deps-only --with-test --with-doc
-          opam upgrade --fixup
       - name: build
         run: |
           if [ "$RUNNER_OS" == "macOS" ]; then