12.0-dev
github_actions: Check if feature levels are updated in API docs.
ci: Upgrade github/codeql-action.
install: Support Debian 13.
ci: Upgrade external GitHub actions.