Skip to content

Commit

Permalink
use github error annotation
Browse files Browse the repository at this point in the history
  • Loading branch information
samuelemusiani committed Nov 6, 2024
1 parent d99d547 commit d479444
Showing 1 changed file with 2 additions and 4 deletions.
6 changes: 2 additions & 4 deletions .github/workflows/check_repos.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,6 @@ on:
schedule:
- cron: '0 0 * * 1'


jobs:
check:
runs-on: ubuntu-latest
Expand All @@ -20,14 +19,13 @@ jobs:
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;
echo "::error::$r NOT FOUND";
OK=false
fi
done
if ! $OK; then
echo "Some repos do not exist"
echo "::error::Some repos do not exist on github but are present on teachings.json"
exit 1
fi
'

0 comments on commit d479444

Please sign in to comment.