build

Docs: swap order of `@` and `main` in `jj new` doc comment #17072

Job	Run time
build (ubuntu-latest)	5m 8s
build (macos-13)	8m 22s
Build jj-lib without Git support	46s
build (macos-14)	3m 49s
build (windows-latest)	10m 38s
build (ubuntu-latest, --all-features)	6m 6s
Check protos	26s
cargo-deny (advisories)	23s
Clippy check	2m 34s
cargo-deny (bans licenses sources)	22s
Check that MkDocs can build the docs	9s
Check that MkDocs can build the docs with latest Python and uv	15s
Check formatting	17s
	39m 15s

Provide feedback