deploy docs site to Pages

fix(repl): cross-platform CI failures (Windows paths, prompt_toolkit … #446

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build	25s
Deploy	-1s
	24s