Merge pull request #143 from alan-turing-institute/142-verifier-ffi #394

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Docs	2m 41s
clippy_check	3m 14s
rustfmt	9s
build	8m 4s
	14m 8s