Deploy PR on Github Pages

Migrate `dev-features` to `dev` branch #632

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build web version and deploy	5m 5s
Build web version and deploy	10m 8s
	15m 13s