4 Commits

Author	SHA1	Message	Date
eikek	be3a8b33de	Merge branch 'current-docs'	2022-05-22 13:43:50 +02:00
eikek	e5c761f7e0	Fix links in changelog due to page moves, fix doc title	2022-05-22 13:36:59 +02:00
eikek	b0ebf8b390	Update nix setup	2022-05-22 12:04:02 +02:00
eikek	789a632ce8	Add a fallback script to publish docs ... Sometimes the github action that runs `sbt publish-website` fails, this script is a quick workaround to use locally.	2022-04-24 22:22:14 +02:00