ci: clean up output, use xxd when dumping binaries#28
Merged
ThomasWaldmann merged 1 commit intomicropython:masterfrom Mar 14, 2018
igrr:ci_output_cleanup
Merged
ci: clean up output, use xxd when dumping binaries#28ThomasWaldmann merged 1 commit intomicropython:masterfrom igrr:ci_output_cleanup
ThomasWaldmann merged 1 commit intomicropython:masterfrom
igrr:ci_output_cleanup