Fix HLS bindist CI

This commit is contained in:
Julian Ospald 2023-03-30 22:39:34 +08:00
parent c975203b5e
commit 1d00d31730
No known key found for this signature in database
GPG Key ID: CCC85C0E40C06A8C

View File

@ -60,6 +60,7 @@ case $TOOL in
cd "$tmp_dir"
cabal unpack "${test_package}"
cd "${test_package}"
cp "/tmp/install-bindist-ci/${METADATA_FILE}" .
}
# For all HLS GHC versions and the wrapper, run 'typecheck'