Check sample against schema in CI

Stephen Paul Weber created 4 years ago

Change summary

.builds/debian-stable.yml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)

Detailed changes

.builds/debian-stable.yml

@@ -23,4 +23,4 @@ tasks:
 - check_config_sample: |
     curl -LO https://github.com/dhall-lang/dhall-haskell/releases/download/1.39.0/dhall-1.39.0-x86_64-linux.tar.bz2
     tar -xf dhall-*.tar.bz2
-    bin/dhall --plain < sgx-jmp/config.dhall.sample
+    echo "./sgx-jmp/config.dhall.sample : ./sgx-jmp/config-schema.dhall" | bin/dhall --plain