OK
OK
OK

glob private

To start a new build commit change to repository or click New build button.
Merge pull request #13 from webmozart/ci
Restriced CI builds to the master branch and PRs
1.0.44
9 years ago by Bernhard Schussek (committed by GitHub)
master 8da14867
9 years ago in 1 min 27 sec
1 min 27 sec

Compilation messages

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