Merge 8f683f4 into 4ce0914

OpShin · Apr 11, 2023 · 2fd79ca · 2fd79ca
2 parents 4ce0914 + 8f683f4
commit 2fd79ca
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -29,6 +29,10 @@ script:
   coverage run -a --source=opshin -m opshin compile_pluto examples/smart_contracts/assert_sum.py
 - >
   coverage run -a --source=opshin -m opshin build examples/smart_contracts/assert_sum.py
+- >
+  for i in $(find examples -type f -name "*.py" -not \( -name "broken*" -o -name "extract*" \)); do
+    coverage run -a --source=opshin -m opshin compile "$i"
+  done
 
 after_success:
 - coverage report