From 2331b4c0d45fd47bae95e4d3380044973e4477e0 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 10 Nov 2023 17:22:25 +0100
Subject: Update the ci.yml

---
 .github/workflows/ci.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 2ea5dc4f..32f2dab0 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -27,6 +27,7 @@ jobs:
       # Install Elan (https://leanprover-community.github.io/install/linux.html) and Lean in
       # non-interactive mode:
       - run: curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | bash -s -- -y
+      - run: source ~/.profile
       # Checkout the repo and download it to the runner
       - name: Checkout
         uses: actions/checkout@v4
-- 
cgit v1.2.3