| commit | 71ba3832c47cc02067c56c27b0ab783ec68c8253 | [log] [tgz] |
|---|---|---|
| author | a-omla <47463234+a-omla@users.noreply.github.com> | Thu Feb 03 21:42:44 2022 +0200 |
| committer | GitHub <noreply@github.com> | Thu Feb 03 21:42:44 2022 +0200 |
| tree | 23b9e9dca90cf5b852252b2dff2ff72602ca3aa2 | |
| parent | deeb09a209f4ff0fe308c8722e62f0f563162449 [diff] |
EFIC-233 - Update run-precheck-drc.sh
diff --git a/.github/scripts/precheck/run-precheck-drc.sh b/.github/scripts/precheck/run-precheck-drc.sh index e78c2b0..34f6e52 100644 --- a/.github/scripts/precheck/run-precheck-drc.sh +++ b/.github/scripts/precheck/run-precheck-drc.sh
@@ -31,3 +31,4 @@ if ! [[ $cnt ]]; then cnt=0; fi if [[ $cnt -eq 1 ]]; then exit 0; fi exit 2 +