CI

Add 'final' and 'strip' to hooks, rework 'ensure_lab' and github on demand #117

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
lint	12s
linkcheck	23s
test	38s
docs	39s
build	34s
	2m 26s