From c724ad2ad3f8302f52a88803fb3956a8980b2e1d Mon Sep 17 00:00:00 2001
From: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
Date: Mon, 2 Oct 2023 11:17:01 +0200
Subject: [PATCH] Remove old CI derivation

---
 test/ci.nix | 32 --------------------------------
 1 file changed, 32 deletions(-)
 delete mode 100644 test/ci.nix

diff --git a/test/ci.nix b/test/ci.nix
deleted file mode 100644
index 341a17b..0000000
--- a/test/ci.nix
+++ /dev/null
@@ -1,32 +0,0 @@
-{ self, super, bsc, testPkgs }:
-
-let
-  stdenv = self.stdenv;
-in
-
-stdenv.mkDerivation rec {
-  name = "ci";
-  src = ./ci.nix;
-  dontUnpack = true;
-
-  # Just build some packages
-  buildInputs = testPkgs;
-
-  buildPhase = ''
-    if [ -e /boot ]; then
-      echo Build is NOT under chroot
-      echo This is the content of / :
-      ls -l /
-      exit 1
-    fi
-
-    echo "OK: Build is under chroot"
-
-    echo "buildInputs:"
-    printf -- "- %s\n" $buildInputs
-  '';
-
-  installPhase = ''
-    touch $out
-  '';
-}