Deploy website

Fetch all branches in the `push-website` CI job #22

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build C API docs	1m 20s
Build C++ API docs	34s
Build C# API docs	24s
Build Java API docs	1m 27s
Build Python API docs	21s
build-website	45s
Push website	13s
	5m 4s