From a213d3676550a0e4d542172de539c0cfa2662431 Mon Sep 17 00:00:00 2001
From: Zubin Duggal <zubin.duggal@gmail.com>
Date: Sun, 16 Apr 2023 15:11:30 +0530
Subject: ci: lint-ci-config: regenerate cabal.config

---
 .gitlab/generate_jobs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitlab/generate_jobs b/.gitlab/generate_jobs
index 863ff37670..afb6ec9abe 100755
--- a/.gitlab/generate_jobs
+++ b/.gitlab/generate_jobs
@@ -3,6 +3,7 @@
 
 cd "$(dirname "${BASH_SOURCE[0]}")"
 tmp=$(mktemp)
+rm -f /root/.cabal/config
 ./gen_ci.hs $tmp
 rm -f jobs.yaml
 echo "### THIS IS A GENERATED FILE, DO NOT MODIFY DIRECTLY" > jobs.yaml
-- 
cgit v1.2.1