Completed
Push — update/build-even-if-no-mirror ( bf241e...f66e4b )
by
unknown
366:44 queued 356:57
created
5.49
▶   ± 0
Head
Brad Jorsch  
Merge remote-tracking branch 'origin/master' into update/build-even-if-no-mirror
12 more commits
Base
Brad Jorsch  
build: Build projects even if not mirrored