Deploy website

Give a better name to the `build website` CI job #26

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build C++ API docs	38s
Build C API docs	1m 30s
Build C# API docs	25s
Build Java API docs	1m 24s
Build Python API docs	21s
Build website	52s
Push website	19s
	5m 29s