Deploy documentation to GitHub pages

[Logger] Fix dumping of queries in interactive mode #14

Sign in to view logs

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

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build / build	18m 27s
deploy-doc	5s
	18m 32s