build and deploy artifact to gh-pages branch

merge queue: embarking main (3567ff6) and #1012 together #1853

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build	29s
deploy	-1s
	28s