summaryrefslogtreecommitdiff
path: root/.envrc
diff options
context:
space:
mode:
authorBen Sima <ben@bsima.me>2024-12-21 08:53:41 -0500
committerBen Sima <ben@bsima.me>2024-12-21 10:06:40 -0500
commit482b80f6c5e97d8bf5711c8f8c3e91720a7ec7b5 (patch)
treeda5fb3ca04febcb12f70b3d6a852537bf3b107e9 /.envrc
parent7f0fd2bb6de504541f9c9fa8eaf5126087ae81a3 (diff)
Don't create tags in CI
This cuts the env script short. Making tags was taking a long time and causing git-branchless to fail. We don't need this in CI.
Diffstat (limited to '.envrc')
-rw-r--r--.envrc13
1 files changed, 8 insertions, 5 deletions
diff --git a/.envrc b/.envrc
index 823ae65..08ca0d5 100644
--- a/.envrc
+++ b/.envrc
@@ -44,11 +44,14 @@
git config --local notes.displayRef refs/notes/ci
git config --local remotes.origin.fetch +refs/notes/*:refs/notes/* notes
git config --local branchless.test.strategy worktree
- git config --local branchless.test.alias.default 'git clean -ffdx; eval $(direnv export bash); bild --test **/*'
- git config --local branchless.test.alias.bild 'git clean -ffdx; eval $(direnv export bash); bild **/*'
- git config --local branchless.test.alias.lint 'git clean -ffdx; eval $(direnv export bash); bild Biz/Lint.hs; lint **/*'
- git config --local branchless.test.alias.lintfix 'git clean -ffdx; eval $(direnv export bash); bild Biz/Lint.hs; lint --fix **/*'
- git config --local branchless.test.alias.ci 'git clean -ffdx; eval $(direnv export bash); Biz/Ci.sh'
+ git config --local branchless.test.alias.default 'export CI=1; git clean -ffdx; eval $(direnv export bash); bild --test **/*'
+ git config --local branchless.test.alias.bild 'export CI=1; git clean -ffdx; eval $(direnv export bash); bild **/*'
+ git config --local branchless.test.alias.lint 'export CI=1; git clean -ffdx; eval $(direnv export bash); bild Biz/Lint.hs; lint **/*'
+ git config --local branchless.test.alias.lintfix 'export CI=1; git clean -ffdx; eval $(direnv export bash); bild Biz/Lint.hs; lint --fix **/*'
+ git config --local branchless.test.alias.ci 'export CI=1; git clean -ffdx; eval $(direnv export bash); Biz/Ci.sh'
+#
+# end here if we are in CI
+ [[ -n "CI" ]] && exit 0
#
# create third-party tags
function MakeExternalTags {