summaryrefslogtreecommitdiff
path: root/.envrc
diff options
context:
space:
mode:
authorBen Sima <ben@bsima.me>2024-04-03 14:54:37 -0400
committerBen Sima <ben@bsima.me>2024-04-03 16:18:12 -0400
commit432739b3e950f3ee33d4f083343b28f7755d0861 (patch)
treef7c6adfb16fe7fdb794a46a292d8599c83c189d3 /.envrc
parent5d15e98e07415803b477efa492e62d59c6ef6ccc (diff)
Enable CI for every commit
Uses git test to run CI on every commit before push.
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