From 3c0445daefb20eb7fcd92ea36480c15806629eec Mon Sep 17 00:00:00 2001
From: gmega <giuliano.mega@gmail.com>
Date: Fri, 19 Jan 2024 15:37:04 -0300
Subject: [PATCH] source env before running coverage script

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

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 39d7449f..6ea31f72 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -103,7 +103,7 @@ jobs:
 
       - name: Generate coverage data
         run: |
-          # make -j${ncpu} coverage
+          . ./env.sh
           make -j${ncpu} coverage-script
         shell: bash