From da49d192f08e8f61696b1b41044af19f047144eb Mon Sep 17 00:00:00 2001
From: Matthias Bernt <m.bernt@ufz.de>
Date: Sat, 11 Feb 2023 12:56:32 +0100
Subject: [PATCH] try continue-on-error for lint job

---
 .github/workflows/tools.yaml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/tools.yaml b/.github/workflows/tools.yaml
index 3133c12..6315b6a 100644
--- a/.github/workflows/tools.yaml
+++ b/.github/workflows/tools.yaml
@@ -121,6 +121,7 @@ jobs:
   lint:
     name: Lint
     needs: setup-ci-tools
+    continue-on-error: true
     uses: ./.github/workflows/wf_lint.yaml
     with:
       repository-list: ${{ needs.setup-ci-tools.outputs.repository-list }}