diff options
| author |  MarkKoz <[email protected]> | 2019-12-16 15:34:49 -0800 |
|---|---|---|
| committer | MarkKoz <[email protected]> | 2020-02-21 21:45:25 -0800 |
| commit | fde1bfc72388672588941c595fb768ddbfa76ac9 (patch) | |
| tree | 9b0fef0a8b2784a95b8685178611fee72566aff4 /scripts/dev.sh | |
| parent | CI: add more logging in check_dockerfiles.sh (diff) | |
CI: update agent to Ubuntu 18.04
* Use inherit_errexit in check_dockerfiles.sh
Diffstat (limited to 'scripts/dev.sh')
0 files changed, 0 insertions, 0 deletions