diff options
| -rwxr-xr-x | .gitlab/generate_jobs | 1 |
1 files changed, 1 insertions, 0 deletions
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 |