3 commits

Author	SHA1	Message	Date
Niko Lockenvitz	112bed5165	build and deploy only on pushes to master branch	2020-05-23 17:40:46 +02:00
Niko Lockenvitz	a2f10544c6	configure user name and email in build/deploy workflow	2020-05-23 11:36:58 +02:00
Niko Lockenvitz	c7652c7795	add github action to deploy dist/ to gh-pages on push	2020-05-22 22:06:49 +02:00