build

github: bump actions/setup-python from 5.1.0 to 5.1.1 in the github-dependencies group #12478

Job	Run time
build (ubuntu-latest)	4m 16s
build (macos-14)	3m 22s
Build jj-lib without Git support	43s
build (windows-latest)	9m 36s
cargo-deny (advisories)	22s
build (ubuntu-latest, --all-features)	5m 18s
cargo-deny (bans licenses sources)	23s
Check protos	57s
Clippy check	2m 40s
Check that MkDocs can build the docs	21s
Check that MkDocs can build the docs with Poetry 1.8	27s
Check formatting	14s
	28m 39s

Provide feedback