From a2223fe12dc49e08907397207e7d648e8d22f191 Mon Sep 17 00:00:00 2001
From: Martyrshot <Martyrshot@gmail.com>
Date: Wed, 25 Oct 2023 12:38:35 -0700
Subject: [PATCH] More debugging

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

diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml
index bd9a9132f4..8d535f296c 100644
--- a/.github/workflows/codeql.yml
+++ b/.github/workflows/codeql.yml
@@ -23,7 +23,7 @@ jobs:
     steps:
     - name: Setup directories
       run: |
-        mkdir${{ runner.workspace }}/OQS-bind
+        mkdir ${{ runner.workspace }}/OQS-bind
         mkdir $HOME/local_deps
         mkdir $HOME/local_deps/oqs
         mkdir $HOME/local_deps/ossl