From 57cfbeb402fb88c9149540d7617aa84623f64890 Mon Sep 17 00:00:00 2001
From: Hadar Shavit <shavit@aim.rwth-aachen.de>
Date: Sat, 2 May 2026 20:10:22 +0200
Subject: [PATCH] Update Ruff workflow to remove type checking

Removed type checking step from Ruff workflow.
---
 .github/workflows/ruff.yml | 2 --
 1 file changed, 2 deletions(-)

diff --git a/.github/workflows/ruff.yml b/.github/workflows/ruff.yml
index d9b7fd5..38b27c4 100644
--- a/.github/workflows/ruff.yml
+++ b/.github/workflows/ruff.yml
@@ -25,5 +25,3 @@ jobs:
       run: ruff format --diff --target-version=py311
     - name: Install dependencies for type checking
       run: pip install .[all]
-    - name: Check type annotations with ty
-      run: ty check --output-format=github