This repository has been archived by the owner on Sep 12, 2024. It is now read-only.

fix: adjust github workflow to deploy docs with mike #4

Job	Run time
deploy-latest-docs	1s
	1s

Provide feedback