From ff884b7721eee4f0d36fccf1c635174b9cab1e2a Mon Sep 17 00:00:00 2001
From: Matthew Pickering <matthewtpickering@gmail.com>
Date: Wed, 19 Jul 2023 11:42:02 +0100
Subject: [PATCH] Remove unused files in .gitlab

These were left over after 6078b429
---
 .gitlab/gen-ci.cabal | 18 ------------------
 .gitlab/hie.yaml     |  2 --
 2 files changed, 20 deletions(-)
 delete mode 100644 .gitlab/gen-ci.cabal
 delete mode 100644 .gitlab/hie.yaml

diff --git a/.gitlab/gen-ci.cabal b/.gitlab/gen-ci.cabal
deleted file mode 100644
index 87cdde3d0e51..000000000000
--- a/.gitlab/gen-ci.cabal
+++ /dev/null
@@ -1,18 +0,0 @@
-cabal-version: 3.0
-name:          gen-ci
-version:       0.1.0.0
-build-type:    Simple
-
-common warnings
-  ghc-options: -Wall
-
-executable gen_ci
-  import:           warnings
-  main-is:          gen_ci.hs
-  build-depends:
-    , aeson       >=1.8.1
-    , base
-    , bytestring
-    , containers
-
-  default-language: Haskell2010
diff --git a/.gitlab/hie.yaml b/.gitlab/hie.yaml
deleted file mode 100644
index 04cd24395e4d..000000000000
--- a/.gitlab/hie.yaml
+++ /dev/null
@@ -1,2 +0,0 @@
-cradle:
-  cabal:
-- 
GitLab