2 Commits

Author	SHA1	Message	Date
pancake	e6f2cd0b2a	Remove trailing spaces (#19460) ... $ git grep ' $' | grep -v ^test/ | cut -d : -f 1 | sort -u > /tmp/trailing $ for a in `cat /tmp/trailing` ; do sed -i -e 's/ *$//' $a ; done	2021-12-02 17:39:59 +01:00
Riccardo Schirone	adc3586425	Create new GitHub workflow for continuous build ##build (#17603) ... Make "continuous" build a pre-release, to avoid hiding the real releases.	2020-09-08 10:13:47 +02:00