Continuous integration

Merge pull request #404 from jku/patch-1 #1251

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check WASM	28s
Build Documentation	51s
Check	53s
Clippy	51s
Rustfmt	13s
Test Suite	4m 52s
	8m 8s