diff options
| author | Juan Carlos <juancarlospaco@gmail.com> | 2022-11-25 09:51:11 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-11-25 13:51:11 +0100 |
| commit | 2709898a5eeb97ca4692296b25932aeb15456c0d (patch) | |
| tree | 254a1f8e2ea77c9494fd2cb53671e36c0392bad4 | |
| parent | cbc2fa71565ba281189124869302ba9d68a15d0e (diff) | |
| download | Nim-2709898a5eeb97ca4692296b25932aeb15456c0d.tar.gz | |
koch remove dead code (#20912)
* koch remove dead code for Travis CI * Restart CI * Restart CI
| -rw-r--r-- | tools/kochdocs.nim | 11 |
1 files changed, 2 insertions, 9 deletions
diff --git a/tools/kochdocs.nim b/tools/kochdocs.nim index 717bac64f..9d6e37cab 100644 --- a/tools/kochdocs.nim +++ b/tools/kochdocs.nim @@ -61,25 +61,18 @@ proc exec*(cmd: string, errorcode: int = QuitFailure, additionalPath = "") = putEnv("PATH", prevPath) template inFold*(desc, body) = - if existsEnv("TRAVIS"): - echo "travis_fold:start:" & desc.replace(" ", "_") - elif existsEnv("GITHUB_ACTIONS"): + if existsEnv("GITHUB_ACTIONS"): echo "::group::" & desc elif existsEnv("TF_BUILD"): echo "##[group]" & desc - body - - if existsEnv("TRAVIS"): - echo "travis_fold:end:" & desc.replace(" ", "_") - elif existsEnv("GITHUB_ACTIONS"): + if existsEnv("GITHUB_ACTIONS"): echo "::endgroup::" elif existsEnv("TF_BUILD"): echo "##[endgroup]" proc execFold*(desc, cmd: string, errorcode: int = QuitFailure, additionalPath = "") = ## Execute shell command. Add log folding for various CI services. - # https://github.com/travis-ci/travis-ci/issues/2285#issuecomment-42724719 let desc = if desc.len == 0: cmd else: desc inFold(desc): exec(cmd, errorcode, additionalPath) |