It is guaranteed that, if I changed only the commit message, the
results of a previous build ("success +1 / failure -1") will be
repeated for a change. So it is probably a waste of resources to
rebuild even for this case, and could be more efficient to just repeat
the previous results.
_______________________________________________
coreboot mailing list -- coreboot@coreboot.org
To unsubscribe send an email to coreboot-leave@coreboot.org