Switch releases to Github CI

This commit is contained in:
2022-10-20 20:37:50 +08:00
parent 77419ea41d
commit 4a46de4c49
21 changed files with 25027 additions and 94 deletions

View File

@@ -136,11 +136,8 @@ _eghcup() {
fi
}
ecabal() {
edo _ecabal "$@"
}
_ecabal() {
# shellcheck disable=SC2317
if [ -n "${CABAL_BIN}" ] ; then
"${CABAL_BIN}" "$@"
else
@@ -149,6 +146,10 @@ _ecabal() {
fi
}
ecabal() {
edo _ecabal "$@"
}
_done() {
echo
echo "==============================================================================="