From 87af2c521cae39a852c4d41b71b9d631bf1e8b96 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <christoph@imandra.ai>
Date: Thu, 30 Jan 2025 14:13:10 +0000
Subject: [PATCH] Update workflow

---
 .github/workflows/main.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index def9f758..6ee99513 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -40,6 +40,7 @@ jobs:
         lsp-version:
           - 1.19.0
           - 1.20.1
+          - 1.22.0
     runs-on: ${{ matrix.os }}
     steps:
     - uses: actions/checkout@main