git.iko.soy/Idris-dev
on master help sign in
Run benchmarks in travis
commit665c4679360bd0377ccb903a8211dcd578dfa16b authorPaul Koerbitz <p.koerbitz@smartreporting.de> dateMon 4 Jan 2016, 15:16 (11 years ago) parent86782e6
1 file changed+1
compare with master
unifiedsplit
.travis.yml+1
.travis.yml+1
@@ -107,3 +107,4 @@ script:
107107 echo "make -j2 $test";
108108 make -j2 $test;
109109 done
110+ - cd benchmarks && ./build.pl && ./run.pl && cd ..