Commit 5f55f541 authored by Heiko Becker's avatar Heiko Becker

Make ci more verbose to debug

parent 1b9d5130
......@@ -22,7 +22,7 @@ echo "Downloading CakeML"
git submodule init cakeml
git submodule update -f cakeml
$HOLDIR/bin/Holmake -q
$HOLDIR/bin/Holmake
cd ./binary
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment