From 45fefb214d10c5f8d1a98f5ff2c02ba795596d0d Mon Sep 17 00:00:00 2001 From: Paulo Matos Date: Mon, 13 Jul 2020 15:22:21 +0200 Subject: [PATCH] Add further tests to CI (#27) original commit: 6627417c0a5737cfb0d04d3ce13f52191c15c78f --- .github/scripts/test.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/scripts/test.sh b/.github/scripts/test.sh index 60eca5947c..3e84be2a6e 100755 --- a/.github/scripts/test.sh +++ b/.github/scripts/test.sh @@ -6,6 +6,7 @@ runmats() { # Split these out so that we get output every 10 minutes on Windows builds. runmats o=0 +runmats o=0 cp0=t runmats o=3 runmats o=3 cp0=t runmats o=3 cp0=t eval=interpret