run CI test

rewrote condition/requires constraint to prop formulas #65

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test on ubuntu-latest	1m 31s
test on macos-latest	50s
test on windows-latest	2m 15s
	4m 36s