From 3bf22fb1e9077647f92205afae479ca5f14f120f Mon Sep 17 00:00:00 2001
From: Morgan Bazalgette <morgan@morganbaz.com>
Date: Thu, 14 Nov 2024 15:23:24 +0100
Subject: [PATCH] wat

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

diff --git a/.github/workflows/gnovm.yml b/.github/workflows/gnovm.yml
index 5a5fd0293fb..8311d113047 100644
--- a/.github/workflows/gnovm.yml
+++ b/.github/workflows/gnovm.yml
@@ -14,7 +14,7 @@ jobs:
     with:
       modulepath: "gnovm"
       # in pull requests, append -short so that the CI runs quickly.
-      tests-extra-args: ${{ github.event_name == "pull_request" && "-short" || "" }}
+      tests-extra-args: ${{ github.event_name == 'pull_request' && '-short' || '' }}
     secrets:
       codecov-token: ${{ secrets.CODECOV_TOKEN }}
   fmt: