Cirrus CI

This commit is contained in:
2022-12-16 00:21:53 +08:00
parent 823458910b
commit 175a301a0d
4 changed files with 14 additions and 30 deletions

View File

@@ -47,10 +47,6 @@ git_describe
# build
ecabal update
if ! cabal-cache version ; then
build_cabal_cache "$HOME/.local/bin"
fi
if [ "${RUNNER_OS}" = "Linux" ] ; then
if [ "${ARCH}" = "32" ] ; then
build_with_cache -w "${GHC}" --ghc-options='-split-sections -optl-static' -ftui --enable-tests