chore: Sync 'master' into 'devel' (#665)

Automated sync of 'master' into 'devel' after release. Auto-merged when
all checks pass.

infra: Fixes to the build infrastructure (#664)

Fix various infrastructure-related configurations.

chore: Sync 'master' into 'devel' (#663)

Automated sync of 'master' into 'devel' after release. Auto-merged when
all checks pass.

typos: feat: Introduce `typos.toml` from typos (#662)

<https://github.com/crate-ci/typos>

chore: Sync 'master' into 'devel' (#661)

Automated sync of 'master' into 'devel' after release. Auto-merged when
all checks pass.

github: fix: Use PAT even for gh merge command (#660)

github: feat: Add CI workflow to release from devel into master (#658)

github: feat: Use PAT on sync PR to trigger subsequent CI workflows (#…

…656)

 github: fix: Rename sync PR title and change description (#654)

Automated sync of into after release. Auto-merged when all checks pass.

chore: Stable release (#652)