From c5f60b9e91c3cc6694218894ed895d7ec7e4988e Mon Sep 17 00:00:00 2001
From: Alexander Taepper <alexander.taepper@gmail.com>
Date: Wed, 19 Jun 2024 18:22:35 +0200
Subject: [PATCH] get the current repo but do not delete the build files

---
 .github/workflows/linter.yml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.github/workflows/linter.yml b/.github/workflows/linter.yml
index 4e4d64f29..d7bc7720d 100644
--- a/.github/workflows/linter.yml
+++ b/.github/workflows/linter.yml
@@ -81,6 +81,11 @@ jobs:
     container:
       image: ghcr.io/genspectrum/lapis-silo-linter-dependencies:commit-${{ github.sha }}
     steps:
+      - uses: actions/checkout@v4
+        with:
+          path: /src
+          clean: false
+
       - shell: bash
         working-directory: /src
         name: Configure and run clang-tidy on changed files