From 436e09628c2624d755dd7da34784cd55a4c4f95a Mon Sep 17 00:00:00 2001 From: Benjamin Kott Date: Thu, 21 Nov 2024 10:35:27 +0100 Subject: [PATCH] [BUGFIX] Correct runner name --- .github/workflows/continuous-integration.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/continuous-integration.yml b/.github/workflows/continuous-integration.yml index f63397e8..489218bd 100644 --- a/.github/workflows/continuous-integration.yml +++ b/.github/workflows/continuous-integration.yml @@ -274,7 +274,7 @@ jobs: name: PHP Stan needs: - php_lint - runs-on: ubuntu-latestcoverage + runs-on: ubuntu-latest steps: - name: Checkout