Skip to content
Snippets Groups Projects
Unverified Commit b51bb142 authored by Facundo Domínguez's avatar Facundo Domínguez
Browse files

Run liquidhaskell-boot tests in CI

parent 5860251c
No related branches found
No related tags found
1 merge request!350Add a patch to build liquidhaskell with ghc HEAD from 2024-02-04
Hide whitespace changes
Inline Side-by-side
.gitmodules
+ 3
− 0
View file @ b51bb142
...@@ -10,3 +10,6 @@ ...@@ -10,3 +10,6 @@
[submodule "tests/containers"] [submodule "tests/containers"]
path = tests/containers path = tests/containers
url = https://github.com/haskell/containers.git url = https://github.com/haskell/containers.git
[submodule "tests/liquidhaskell"]
path = tests/liquidhaskell
url = https://github.com/ucsd-progsys/liquidhaskell.git
ci/config.sh
+ 2
− 0
View file @ b51bb142
...@@ -213,9 +213,11 @@ case "$BUILD_MODE" in ...@@ -213,9 +213,11 @@ case "$BUILD_MODE" in
test_package all "$(pwd)/../tests/text" test_package all "$(pwd)/../tests/text"
test_package bytestring-tests "$(pwd)/../tests/bytestring" test_package bytestring-tests "$(pwd)/../tests/bytestring"
test_package all "$(pwd)/../tests/containers/containers-tests" test_package all "$(pwd)/../tests/containers/containers-tests"
test_package liquidhaskell-boot "$(pwd)/../tests/liquidhaskell/liquidhaskell-boot"
;; ;;
COMPAT) COMPAT)
test_package system-test "$(pwd)/../tests/ghc-debug/**/*.cabal" test_package system-test "$(pwd)/../tests/ghc-debug/**/*.cabal"
test_package ghc-tests "$(pwd)/../tests/ghc-tests" test_package ghc-tests "$(pwd)/../tests/ghc-tests"
test_package liquidhaskell-boot "$(pwd)/../tests/liquidhaskell/liquidhaskell-boot"
;; ;;
esac esac
liquidhaskell @ 2004835e
Subproject commit 2004835e5c81a86d51cae6f5f16dcd9a8904bfb9
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment