Merge pull request #1225 from hacspec/franziskus/docs-setup #3678

Job	Run time
no-std-lib	36s
test-workspace (macos-latest)	1m 6s
test-workspace (ubuntu-latest)	1m 5s
test-workspace (windows-latest)	3m 37s
	6m 24s

Provide feedback