git.iko.soy/Idris-dev
on master help sign in
Run benchmarks in travis
665c467Paul Koerbitz
.travis.yml+1
compare with master
unifiedsplit
@@ -107,3 +107,4 @@ script:
107 echo "make -j2 $test";
107 echo "make -j2 $test";
108 make -j2 $test;
108 make -j2 $test;
109 done
109 done
110+ - cd benchmarks && ./build.pl && ./run.pl && cd ..