From 363afd2a3994f57413348a18babb1170930d3563 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Christoph=20L=C3=A4ubrich?= <laeubi@laeubi-soft.de>
Date: Tue, 4 Oct 2022 10:12:31 +0200
Subject: [PATCH] Use 3.1.0-SNAPSHOT for platform verification build

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

diff --git a/.github/workflows/verify-platform.yml b/.github/workflows/verify-platform.yml
index a2e159fc1a..797e214864 100644
--- a/.github/workflows/verify-platform.yml
+++ b/.github/workflows/verify-platform.yml
@@ -68,4 +68,5 @@ jobs:
         -Dmaven.wagon.httpconnectionManager.ttlSeconds=120
         -DskipTests
         -Pbree-libs
+        -Dtycho.version=3.1.0-SNAPSHOT
         clean verify