Add a mode to handle "pretty URLs", i.e. URIs without `.html` extension #1325

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
lint	28s
check-feature-flags	25s
test	3m 11s
publish-check	1m 36s
publish	0s
	5m 40s