From 3dfc534b5f5ccba3a82119b8854ab589b06c6e7c Mon Sep 17 00:00:00 2001
From: Quentin Gliosca <quentin.gliosca@gmail.com>
Date: Thu, 5 Oct 2023 12:46:22 +0200
Subject: [PATCH] Change

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

diff --git a/.github/workflows/checks.yml b/.github/workflows/checks.yml
index ba84b19faa..6a2877925f 100644
--- a/.github/workflows/checks.yml
+++ b/.github/workflows/checks.yml
@@ -64,7 +64,7 @@ jobs:
       - name: Lint
         run: pnpm --dir "$scripts" run lint
       - name: Check formatting
-        run: pnpm --dir "$scripts"run checkformat
+        run: pnpm --dir "$scripts" run checkformat
       # FIXME: This suddenly stopped working even though the toolchain versions seem identical.
       # - name: Check if bundled scripts are up-to-date
       #   run: |