From 482b80f6c5e97d8bf5711c8f8c3e91720a7ec7b5 Mon Sep 17 00:00:00 2001 From: Ben Sima Date: Sat, 21 Dec 2024 08:53:41 -0500 Subject: 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. --- .envrc | 13 ++++++++----- 1 file 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 { -- cgit v1.2.3