Greg King 320312e7cc 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-07-21 03:20:45 +02:00

..

checks

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

2022-07-21 03:20:45 +02:00

workflows

add check action also to the snapshot build

2022-07-21 03:20:44 +02:00