Fix CI?
commit99767adbda4c5721464ca1c78e394e463d856da4
authorMark Eibes <mark.eibes@gmail.com>
dateTue 10 May 2022, 11:33 (4 years ago)
parent0fd27bc
.github/workflows/ci.yml+1−1
@@ -34,4 +34,4 @@ jobs:
3434
3535 - run: spago build
3636
37− - run: spago -x test.dhall test --no-install
37+ - run: spago -x test.dhall test