CI

Merge branch 'develop' into feature/#67-introduce-IR #551

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build	7m 57s
clippy	3m 1s
cargo-fmt	47s
test	10m 18s
nixfmt-rfc-style	26s
	22m 29s