From 928d50e1564ae74b7cf0f420f6f581aeea86dd57 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ond=C5=99ej=20=C4=8Cert=C3=ADk?= <ondrej@certik.us>
Date: Tue, 21 Jul 2020 09:09:42 -0600
Subject: Update CI

---
 .github/workflows/CI.yml | 2 ++
 1 file changed, 2 insertions(+)

(limited to '.github')

diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
index ca1ba03..fd2d9b1 100644
--- a/.github/workflows/CI.yml
+++ b/.github/workflows/CI.yml
@@ -63,8 +63,10 @@ jobs:
 
     - name: Build
       run: |
+        cd bootstrap
         stack build
 
     - name: Run tests
       run: |
+        cd bootstrap
         stack test
-- 
cgit v1.2.3