OK
OK
OK

dep private

To start a new build commit change to repository or click New build button.
Merge pull request #1053 from Minnozz/fix-1051
Don't assume every git repository has a HEAD
2015
8 years ago by Sunny (committed by GitHub)
master 9db233ab
Failed 8 years ago in 4 min 5 sec
4 min 5 sec

Compilation messages

Description
File name
Line
Column
Project
The build job does not have any messages.