[CakeML-dev] sec_ok failure

Ramana Kumar Ramana.Kumar at cl.cam.ac.uk
Thu Mar 9 23:03:11 UTC 2017


I'm seeing sec_ok failures in the compiler bootstrap from around at
least 3072c3a8. Possibly these came out of the refs branch? I'll need
to run it interactively to investigate..



More information about the Developers mailing list