Test, Prop Tests, Example Tests

`pre-push` githook for fmt only + remove `act` #3768

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ci (macos-latest)	10m 0s
ci (ubuntu-latest)	15m 45s
	25m 45s