Build and run tests

Add tutorial for adapting write_functional_smt2 #1743

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
pre_docs_job	5s
pre_job	4s
Try build docs	0s
Reusable build	0s
Run docs tests	0s
Run tests	0s
	9s