CI for specs

Escape latex newline commands with extra vertical space #216

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-web-api-spec	29s
build-core-spec	7m 16s
build-js-api-spec	27s
build-spec-versions	6s
publish-spec	12s
	8m 30s