Build documentation and deploy to GitHub Pages

Merge pull request #3560 from pmndrs/feat/add-flushsync-example #101

Sign in to view logs

Summary
Jobs
- build-job
- deploy
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build / build-job	1m 45s
deploy	11s
	1m 56s