diff options
| author | Andreas Rumpf <rumpf_a@web.de> | 2018-12-11 22:14:08 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-12-11 22:14:08 +0100 |
| commit | c58f430e2e7d393a65f80f4ee622c385f7641a1b (patch) | |
| tree | a0155669ac6ef9230d152c8dd035292f816d2884 /.gitlab-ci.yml | |
| parent | e3d91a5b748e9871fc952b6a6bcd91a2cfca2cb2 (diff) | |
| parent | 9d10278a9ca0d90a5fe82fa6e7dfb7d7dcb0f38a (diff) | |
| download | Nim-c58f430e2e7d393a65f80f4ee622c385f7641a1b.tar.gz | |
Merge pull request #9916 from timotheecour/pr_ref_9906_errorMax
refs #9906; --errorMax:10 allows stopping after 10 errors (more robust than nim check)
Diffstat (limited to '.gitlab-ci.yml')
0 files changed, 0 insertions, 0 deletions