gbdev/rgbds
1
0
Fork 0
mirror of https://github.com/gbdev/rgbds.git synced 2025-11-20 10:12:06 +00:00
Code Issues Packages Projects Releases Wiki Activity

Show test issues as annotations in the GitHub Actions job summary

Browse Source
This commit is contained in:
Rangi42
2024-08-27 01:02:53 -04:00
parent 38a90890fb
commit 3a5ff35928
6 changed files with 6 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
contrib/checkdiff.bash
View File

@@ -13,7 +13,7 @@ edited () {
dependency () {
if edited "$1" && ! edited "$2"; then
echo "'$1' was modified, but not '$2'! $3" | xargs
echo >&2 "::warning '$1' was modified, but not '$2'! $3" | xargs
fi
}