dist/tools/vera++: annotate errors in Github Action
dist/tools/vera++: annotate errors in Github Action

miri64/RIOT,kYc0o/RIOT,OTAkeys/RIOT,ant9000/RIOT,RIOT-OS/RIOT,ant9000/RIOT,jasonatran/RIOT,kYc0o/RIOT,RIOT-OS/RIOT,kaspar030/RIOT,OTAkeys/RIOT,miri64/RIOT,authmillenon/RIOT,OlegHahm/RIOT,OlegHahm/RIOT,OTAkeys/RIOT,authmillenon/RIOT,kaspar030/RIOT,jasonatran/RIOT,authmillenon/RIOT,jasonatran/RIOT,OlegHahm/RIOT,authmillenon/RIOT,kaspar030/RIOT,jasonatran/RIOT,ant9000/RIOT,kaspar030/RIOT,RIOT-OS/RIOT,miri64/RIOT,authmillenon/RIOT,miri64/RIOT,kaspar030/RIOT,kYc0o/RIOT,authmillenon/RIOT,OTAkeys/RIOT,OlegHahm/RIOT,kYc0o/RIOT,kYc0o/RIOT,ant9000/RIOT,RIOT-OS/RIOT,RIOT-OS/RIOT,OlegHahm/RIOT,ant9000/RIOT,miri64/RIOT,jasonatran/RIOT,OTAkeys/RIOT