CI for specs

Add input for workflow dispatch for W3C publish workflow #150

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-web-api-spec	28s
build-core-spec	6m 13s
build-js-api-spec	32s
publish-spec	5s
	7m 18s