From 432739b3e950f3ee33d4f083343b28f7755d0861 Mon Sep 17 00:00:00 2001
From: Ben Sima <ben@bsima.me>
Date: Wed, 3 Apr 2024 14:54:37 -0400
Subject: Enable CI for every commit

Uses git test to run CI on every commit before push.
---
 .envrc | 1 +
 1 file changed, 1 insertion(+)

(limited to '.envrc')

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
-- 
cgit v1.2.3