diff options
| author | varac <varacanero@zeromail.org> | 2016-08-31 11:36:03 +0200 |
|---|---|---|
| committer | varac <varacanero@zeromail.org> | 2016-08-31 11:36:08 +0200 |
| commit | 1fb2c0f7b654a91946681413ea969458750cbf3f (patch) | |
| tree | 1a9236b67de74cde710ac18b4d1e1fd254a82418 /docs/en/guide.html | |
| parent | ba786b012876c66987c875ea7660feef2c8f420e (diff) | |
allow lint,syntax and validate jobs to fails
We fixed them in 0.9 so we don't care too much for these checks.
The most important thing to check is the actual build.
Diffstat (limited to 'docs/en/guide.html')
0 files changed, 0 insertions, 0 deletions