revert markdown tweak #429

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
changes	2s
build-and-test-group-0	12m 50s
build-and-test-group-1	13m 11s
build-and-test-group-2	12m 57s
build-and-test-group-3	14m 2s
build-and-test-group-4	15m 10s
build-and-test-group-5	14m 55s
build-and-test-group-6	14m 37s
build-and-test-group-7	14m 39s
build-and-test-group-8	14m 58s
build-and-test-group-9	11m 34s
summary	5s
	2h 19m 0s