chore: Merge branch `dev` to `main`#3458

Draft

github-actions[bot] wants to merge 4 commits intomainfrom

Commits on Jan 13, 2025

docs: Fix mistake in setup docs
oSumAtrIX
authored

Commits on May 27, 2025

ci: Attest release artifacts (#3462)
validcube
authored

Commits on Jul 8, 2025

ci: Use default fetch-depth of 1 for checkout step (#3466)
validcube
authored

Commits on Oct 27, 2025

docs: Correct GPG setup instructions (#3464)

brosssh
and
oSumAtrIX
authored