Building and Linting Workflow

Add Build and lint workflow (#1101) #1

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
lint (3.13)	9s
build-translation (3.13, html)	3m 5s
lint (3.9)	12s
build-translation (3.13, latex)	2m 56s
build-translation (3.9, html)	2m 24s
build-translation (3.9, latex)	2m 17s
lint (3.8)	13s
build-translation (3.8, html)	2m 16s
lint (3.7)	8s
build-translation (3.8, latex)	2m 10s
lint (3.6)	8s
build-translation (3.7, html)	23s
build-translation (3.7, latex)	22s
build-translation (3.6, html)	20s
build-translation (3.6, latex)	20s
output-pdf	0s
	17m 23s