Henrik Tjäder 11565797c6 Combine publish, docs and build into one workflow		2020-06-15 19:42:51 +00:00
..
properties	Testing GHA v0.1	2020-06-02 18:58:06 +00:00
build.yml	Combine publish, docs and build into one workflow	2020-06-15 19:42:51 +00:00
docs.yml	Also fix the links in GHA	2020-06-11 18:34:16 +00:00
publish.yml	Also fix the links in GHA	2020-06-11 18:34:16 +00:00