name: "code-server CodeQL config"