Deploy mdBook to GitHub Pages

Merge pull request #6 from copper-project/nico/chapter-export-other-f… #7

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build	7s
deploy	10s
	17s