From b8bcd7e415005299cf67aeb58e0cff8a8803643d Mon Sep 17 00:00:00 2001
From: Fredrik Bakke <fredrbak@gmail.com>
Date: Thu, 22 Feb 2024 18:06:13 +0100
Subject: [PATCH] Bugfix profiling workflow - `mkdir temp` (#1036)

---
 .github/workflows/profiling.yaml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/profiling.yaml b/.github/workflows/profiling.yaml
index c1238dd53d..abac88c9ee 100644
--- a/.github/workflows/profiling.yaml
+++ b/.github/workflows/profiling.yaml
@@ -30,6 +30,7 @@ jobs:
       - name: Typecheck library with profiling
         run: |
           cd master
+          mkdir temp
           make check-profile 2> temp/memory-results.txt | tee temp/benchmark-results.txt
 
       - name: Download previous typechecking profile