Back to pull request #361

Minor fixes in documentation (example_1 and example_12) #1032

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
binary / main rolling	5m 56s
binary / testing rolling	4m 41s
	10m 37s