eikek 3e7b66fd42 Add workflow for publishing website
Builds an publishes the website on each push to `current-docs` branch.
2021-05-31 14:43:23 +02:00
..
2021-04-10 17:26:08 +02:00