super-basic github workflow with rustfmt --check
super-basic github workflow with rustfmt --check

project-oak/rust-verification-tools,project-oak/rust-verification-tools,project-oak/rust-verification-tools,project-oak/rust-verification-tools