PR CI

chore: add rust support #505

Job	Run time
getVerifyVersion / getDafnyVerifyVersion	14s
getVerifyVersion / getDafnyVerifyVersion	15s
getVersion / getDafnyVersion	15s
getVersion / getDafnyVersion	20s
pr-ci-test-vector-verification	0s
pr-ci-test-vector-verification	0s
pr-ci-verification	0s
pr-ci-verification	0s
pr-ci-codegen	0s
pr-ci-codegen	0s
pr-ci-format	0s
pr-ci-format	0s
pr-ci-java-examples	0s
pr-ci-java-examples	0s
pr-ci-java	0s
pr-ci-java	0s
pr-ci-java-test-vectors	0s
pr-ci-java-test-vectors	0s
pr-ci-net-examples	0s
pr-ci-net-examples	0s
pr-ci-net	0s
pr-ci-net	0s
pr-ci-net-test-vectors	0s
pr-ci-net-test-vectors	0s
	1m 4s

Provide feedback