From d5f83d5eb6bc7ba7bef01d9936e20eeda149d908 Mon Sep 17 00:00:00 2001 From: Fabrizio Ferrai Date: Mon, 18 Mar 2024 05:23:26 +0200 Subject: [PATCH] Add datetime tests to CI --- test.sh | 3 +++ 1 file changed, 3 insertions(+) diff --git a/test.sh b/test.sh index d35836bb..ce7e36b8 100755 --- a/test.sh +++ b/test.sh @@ -60,4 +60,7 @@ purescm run --main Test.Record.Main echo "Testing quickcheck" purescm run --main Test.QuickCheck.Main +echo "Testing datetime" +purescm run --main Test.Data.Time.Main + echo "All good!"