diff options
| author | Ben Sima <ben@bsima.me> | 2025-05-08 14:26:08 -0400 |
|---|---|---|
| committer | Ben Sima <ben@bsima.me> | 2025-05-08 14:26:08 -0400 |
| commit | 1d0ea00ee8bc3f4393ff7a319ffa90f83b7c36ba (patch) | |
| tree | d0f04f307b6e1ac1dbeae2a8923245e03bd045ea | |
| parent | 4d548bcc9a1e6c9f3bcb6effd1be10d7526d4510 (diff) | |
Fix CI check in .envrc
Doh. Can't believe I let this go for so long, what a dumb mistake.
| -rw-r--r-- | .envrc | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -58,7 +58,7 @@ git config --local alias.live "push origin HEAD:live" # # end here if we are in CI - [[ -n "CI" ]] && exit 0 + [[ -n "${CI}" ]] && exit 0 # # create third-party tags [[ -L "$CODEROOT"/_/src/.ctags.d ]] || ln -s "$CODEROOT"/.ctags.d "$CODEROOT"/_/src/.ctags.d |