Add a blank line after the short summary in doc comments #795

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build	33s
test (secilc-3.0, stable)	2m 11s
test (secilc-3.1, stable)	2m 12s
checks (1.77)	1m 57s
checks (stable)	1m 33s
test (3.2, stable)	2m 9s
checks (nightly)	1m 50s
test (3.3, stable)	2m 20s
test (3.4, stable)	2m 8s
test (3.5, stable)	2m 25s
test (3.6, stable)	2m 13s
test (3.7, stable)	2m 7s
test (3.7, nightly)	2m 27s
	26m 5s