CI

Merge remote-tracking branch 'upstream/dev' into terminal-rewrite #85

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check	2m 17s
Check wasm32	2m 28s
Clippy	2m 24s
Rustfmt	48s
Test Suite	8m 21s
	16m 18s