Build, test, and lint

Add a Theory node to the FOL syntax tree #51

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (stable)	51s
build (beta)	33s
build (nightly)	31s
build (1.67.0)	4m 57s
	6m 52s