From 993007a8696cb07e7397d672d74eba802b735f46 Mon Sep 17 00:00:00 2001
From: Samuele Musiani <samu@teapot.ovh>
Date: Thu, 31 Oct 2024 23:12:52 +0100
Subject: [PATCH] tmp

---
 .github/workflows/check_repos.yaml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.github/workflows/check_repos.yaml b/.github/workflows/check_repos.yaml
index 539dc27..ad791d9 100644
--- a/.github/workflows/check_repos.yaml
+++ b/.github/workflows/check_repos.yaml
@@ -14,6 +14,9 @@ jobs:
         run: |
           bash -c '
             OK=true
+
+            echo "Checking repos..."
+
             for r in $(jq -r '.[].url' < ./teachings.json); do
               if [ $(curl -s -o /dev/null -w "%{http_code}" https://github.com/$GITHUB_REPOSITORY_OWNER/$r) -eq 404 ]; then
                 echo $r NOT FOUND;
@@ -22,6 +25,7 @@ jobs:
             done
 
             if ! $OK; then
+              echo "Some repos do not exist"
               exit 1
             fi
           '