Greg King 6ea1f8ee85 Made the style-check scripts send their file lists to stderr. ...

A complete list will be shown before make shows its error message.  There will be less confusion about which lines are in the list.

2022-04-18 19:47:02 -04:00

..

checks

Made the style-check scripts send their file lists to stderr.

2022-04-18 19:47:02 -04:00

workflows

add check action also to the snapshot build

2022-04-16 18:32:49 +02:00