From c91a0463b5f9baee9fc80ff1d6a49ece1e683d94 Mon Sep 17 00:00:00 2001
From: Leonardo Taglialegne <leonardo@taglialegne.it>
Date: Fri, 15 May 2026 12:09:50 +0200
Subject: [PATCH] Fix CI failure for PRs coming from external repositories

---
 .github/workflows/ci.yaml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index c4ca247f..5c5535f0 100644
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -131,6 +131,12 @@ jobs:
 
       - name: Post a comment with the diff
         uses: JoseThen/comment-pr@v1.2.0
+        continue-on-error: true
         with:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
           file_path: "./diff.md"
+
+      - name: Dump the diff into the Github log
+        run: |
+          diff --ignore-all-space --minimal --new-file --recursive \
+            main/cli/generated branch/cli/generated