From 06c3624a5d0b33a7e3b6f42810663c7850af22af Mon Sep 17 00:00:00 2001
From: Andreas Rossberg <rossberg@mpi-sws.org>
Date: Fri, 13 Sep 2024 16:32:32 +0200
Subject: [PATCH] [ci] Fix syntax

---
 .github/workflows/ci-spec.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/ci-spec.yml b/.github/workflows/ci-spec.yml
index cfd6909d64..4bf6bf2fac 100644
--- a/.github/workflows/ci-spec.yml
+++ b/.github/workflows/ci-spec.yml
@@ -71,6 +71,8 @@ jobs:
           path: document/web-api/index.html
 
   build-spec-versions:
+    runs-on: ubuntu-latest
+    steps:
       - name: Checkout repo
         uses: actions/checkout@v2
       - name: Upload artifacts