Merge pull request #1277 from cryspen/fix-docs-playground #3810

Job	Run time
test-workspace (macos-latest)	1m 9s
test-workspace (ubuntu-latest)	1m 6s
test-workspace (windows-latest)	3m 41s
no-std-lib	28s
	6m 24s

Provide feedback