CI: build and deploy the web frontend when it changes#3

richardhapb merged 1 commit into

mainrichardhapb/finitum:mainfrom

ci/web-deployrichardhapb/finitum:ci/web-deployCopy head branch name to clipboard