use gmtime instead of localtime

2020-05-17 14:49:08 +02:00
parent 0d26420b15
commit 47bd4ed490
3 changed files with 71 additions and 64 deletions
--- a/4
+++ b/4
@ -21,4 +21,8 @@ EXIT=$?
 echo 
 coverage report

+#this does automatic travis CI/https://coveralls.io/ intergration:
+echo "Submitting to coveralls.io:"
+coveralls 
+
 exit $EXIT