From 0132f92e47f75d9531d240fc09404d6186fe930e Mon Sep 17 00:00:00 2001
From: Federico Poli <fpoli@users.noreply.github.com>
Date: Thu, 29 Feb 2024 11:29:14 +0100
Subject: [PATCH] Create missing directory

---
 .github/workflows/coverage.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
index 17e1df72ca4..68cd4f06339 100644
--- a/.github/workflows/coverage.yml
+++ b/.github/workflows/coverage.yml
@@ -31,6 +31,9 @@ jobs:
 
       - name: Enable collection of source-based coverage
         run: |
+          # Prepare directory
+          sudo mkdir "$COVERAGE_PATH"
+          sudo chmod 777 "$COVERAGE_PATH"
           # The following are necessary for profiling (see https://github.com/mozilla/grcov)
           echo "RUSTFLAGS=-Cinstrument-coverage" >> $GITHUB_ENV
           echo "LLVM_PROFILE_FILE=${COVERAGE_PATH}/gcov-%p-%m.profraw" >> $GITHUB_ENV