From 3ee1cdf3ded559fe708369748150078d14c5e1fc Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Wed, 27 Mar 2024 14:03:10 +0100
Subject: [PATCH] chore: CI: continue on test-summary failure

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

diff --git a/.github/workflows/nix-ci.yml b/.github/workflows/nix-ci.yml
index 5fd86c3d4f..aa9e409b35 100644
--- a/.github/workflows/nix-ci.yml
+++ b/.github/workflows/nix-ci.yml
@@ -83,6 +83,7 @@ jobs:
         with:
           paths: push-test/test-results.xml
         if: always()
+        continue-on-error: true
       - name: Build manual
         run: |
           nix build $NIX_BUILD_ARGS --update-input lean --no-write-lock-file ./doc#{lean-mdbook,leanInk,alectryon,test,inked} -o push-doc