[ ci ] all the tests require text?

Author: gallais

tests/_config/template.cabal

@@ -15,6 +15,7 @@ common common-build-parameters
 
   build-depends:
       base      >= 4.12 && < 4.20
+    , text      >= 2.0 && <2.2
 
   ghc-options: -Wno-missing-home-modules
 

tests/data/appending/appending.cabal

@@ -1,32 +1,2 @@
-TEST_NAME=appending
-
-# Use the shared version numbers
-. ../../_config/version-numbers.sh
-
-# Specialise template agda-lib
-sed "s/TEST_NAME/$TEST_NAME/g" ../../_config/template.agda-lib > "$TEST_NAME".agda-lib
-
-# Set up clean logs directory
-rm -rf logs/
-mkdir logs
-
-# Use shared directories to avoid rechecking stdlib modules
-AGDA_BUILD_DIR=../../_config/_build
-CABAL_BUILD_DIR=../../_config/dist-newstyle
-
-mkdir -p "$AGDA_BUILD_DIR"
-ln -sf "$AGDA_BUILD_DIR" _build
-mkdir -p "$CABAL_BUILD_DIR"
-ln -sf "$CABAL_BUILD_DIR" dist-newstyle
-
-# Compile the Agda module and build the generated code
-$1 --library-file ../../_config/libraries --compile-dir=_build -c --ghc-dont-call-ghc Main.agda > logs/agda-build
-cabal build "$TEST_NAME" --with-compiler "$GHC_EXEC" > logs/cabal-build
-
-# Run the test
-cabal exec -v0 "$TEST_NAME" --with-compiler "$GHC_EXEC" < input > output
-
-# Clean up after ourselves
-rm "$TEST_NAME".agda-lib
-rm -R dist-newstyle
-rm -R _build/MAlonzo/Code/
+. ../../_config/config.sh
+goldenTest $1 "appending"