Rust

lean_compiler: reject multidim indexing on runtime arrays #1137

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Rustfmt Check	18s
Clippy	29s
Build & Test (x64-avx2)	6m 57s
	7m 44s