Lars Hvam 28014a53f1 use github actions instead of travis (#3290) ... * use github actions instead of travis * add name		2020-04-07 18:40:04 +02:00
..
deploy-merged-build.sh	use github actions instead of travis (#3290)	2020-04-07 18:40:04 +02:00
deploy-release-tag.sh	deploy release tag (#2919)	2019-10-06 23:30:01 -07:00