Rust CI

add diagram sharing design and tla verification specs #145

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Test Suite	2m 23s
Clippy	38s
Documentation	24s
WASM Build	35s
Rustfmt	9s
	4m 9s