build

str_util: support case‐insensitive string patterns #12469

Job	Run time
build (ubuntu-latest)	4m 12s
Check protos	29s
build (macos-14)	3m 47s
Check formatting	17s
build (windows-latest)	9m 36s
build (ubuntu-latest, --all-features)	5m 13s
Build jj-lib without Git support	43s
cargo-deny (advisories)	23s
cargo-deny (bans licenses sources)	21s
Clippy check	2m 30s
Check that MkDocs can build the docs	20s
Check that MkDocs can build the docs with Poetry 1.8	20s
	28m 11s

Provide feedback