summaryrefslogtreecommitdiff
path: root/.envrc
diff options
context:
space:
mode:
Diffstat (limited to '.envrc')
-rw-r--r--.envrc1
1 files changed, 1 insertions, 0 deletions
diff --git a/.envrc b/.envrc
index c816943..05b10d0 100644
--- a/.envrc
+++ b/.envrc
@@ -42,6 +42,7 @@
git config --local branchless.test.alias.bild 'CODEROOT=$PWD bild **/*'
git config --local branchless.test.alias.lint 'CODEROOT=$PWD bild Biz/Lint.hs && _/bin/lint **/*'
git config --local branchless.test.alias.lintfix 'CODEROOT=$PWD bild Biz/Lint.hs && _/bin/lint --fix **/*'
+ git config --local branchless.test.alias.ci 'CODEROOT=$PWD Biz/Ci.sh'
#
# load local settings
. ./.envrc.local