#15 (Feb 28, 2020, 11:54:54 AM)

Started 5 yr 3 mo ago

Took 1 min 51 sec on olive

	Started by user n.oje.bar@gmail.com
	Revision: 6bc9b30da193adf5989bd2a73983ce5dddcdbbff Repository: https://github.com/nojb/riscv-ocaml refs/remotes/origin/trunk
	Aborted by user n.oje.bar@gmail.com

No changes.