Commit bf9d666a authored by Heiko Becker's avatar Heiko Becker

Update ci-cakeml-binary.sh

parent ff6cb5ea
#!/bin/sh
cd ./hol/binary
cd ./hol4/binary
$HOLDIR/bin/Holmake checkerBinaryTheory.uo
$HOLDIR/bin/Holmake checker.S
$HOLDIR/bin/Holmake cake_checker
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