CI

fix: more bug fixes — specs, examples, JNI signatures, constants #42

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Lint	1m 24s
Test (tools)	17s
Vet	17s
Verify proofs	15s
	2m 13s