Skip to content

Commit

Permalink
Add comment
Browse files Browse the repository at this point in the history
  • Loading branch information
j-woz committed Sep 13, 2024
1 parent 2fce8c3 commit e118e5a
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions dev/github-actions/check
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,7 @@ fi

PATH=dev/github-actions:$PATH

# Run the arguments here!
if ! ${*}
then
echo "CHECK FAILED: ${*}"
Expand Down

0 comments on commit e118e5a

Please sign in to comment.