trigger: run Github pages workflow #5

Sign in to view logs

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

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build	1m 49s
build	1m 30s
build	1m 44s
deploy	0s
deploy	0s
deploy	0s
	5m 3s