Fix makefile lines and tee exit status problem #523
jthornbladci.yaml
on: pull_request
build-bitstream
2m 35s
check-firmware
56s
check-verilog
1m 10s
build-other-firmwares
1m 2s
check-hashes
53s