Deploy site

fix: restore the CI workflow and gitignore lost in the first push (#1) #2

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build	35s
docs-sync	15s
deploy	3s
deploy	11s
build	35s
docs-sync	15s
	1m 54s