Actions Runner Controller 认证失败问题分析与解决方案
问题背景
在使用Actions Runner Controller (ARC)管理自托管运行器时,用户遇到了401 "Bad credentials"错误。具体表现为监听器Pod无法获取运行器注册令牌,导致无法创建运行器Pod。该问题发生在尝试为pytorch/xla仓库配置运行器时,而使用相同配置为其他仓库却能正常工作。
错误现象
监听器Pod日志显示以下关键错误信息:
failed to get runner registration token on refresh: unexpected response from Actions service during registration token call: 401 - {"message":"Bad credentials","documentation_url":"https://docs.github.com/rest"}
问题排查过程
-
认证方式确认:用户最初怀疑是GitHub应用认证配置问题,确认使用的是GitHub App而非个人访问令牌(PAT)进行认证。
-
组织权限验证:用户测试了在不同组织间的配置,发现:
- 在个人仓库和新建测试组织中配置成功
- 在目标组织(pytorch)中配置失败
-
配置检查:确认了GitHub App已正确安装到目标组织,并拥有所有必要的权限:
- 仓库内容:读写权限
- 元数据:只读权限
- 组织成员:只读权限
- 部署:读写权限
- 拉取请求:读写权限
- 工作流:读写权限
-
网络限制排查:确认目标组织没有设置IP白名单限制,也没有禁用自托管运行器。
根本原因
最终发现问题的根本原因是Kubernetes Secret缓存机制。当用户更新认证密钥后,ARC监听器相关的Secret没有自动更新,导致继续使用旧的无效凭证。
解决方案
-
清理旧Secret:删除arc-systems命名空间下的所有相关Secret
kubectl delete secret -n arc-systems --all -
重启相关Pod:删除监听器和控制器Pod,使其自动重建
kubectl delete pod -n arc-systems -l app=gha-runner-scale-set-controller kubectl delete pod -n arc-runners -l app=gha-runner-scale-set-listener -
验证新配置:系统会自动重建Secret和Pod,此时应使用新的认证信息成功获取运行器注册令牌。
经验总结
-
Secret管理:在Kubernetes中更新Secret后,依赖这些Secret的组件可能不会自动感知变化,需要手动触发重建。
-
认证方式选择:虽然GitHub App认证比PAT更安全,但配置过程更复杂,需要特别注意权限设置和安装范围。
-
多组织场景:GitHub App可以跨组织使用,但必须确保:
- App已正确安装到目标组织
- 安装时授予了足够权限
- 没有组织级别的访问限制
-
调试技巧:当遇到认证问题时,可以尝试:
- 在更简单的环境(如个人仓库)复现问题
- 检查所有相关组件的日志
- 确认Secret内容是否与预期一致
最佳实践建议
-
变更管理:修改认证信息后,应主动重启相关组件以确保使用最新配置。
-
监控配置:建立对监听器状态的监控,及时发现认证失败情况。
-
文档记录:详细记录GitHub App的配置参数和安装情况,便于问题排查。
-
测试验证:在应用到生产环境前,先在测试环境验证配置有效性。
通过以上分析和解决方案,用户成功解决了ARC认证失败的问题,为类似场景提供了有价值的参考经验。
kernelopenEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。C051
MiniMax-M2.1从多语言软件开发自动化到复杂多步骤办公流程执行,MiniMax-M2.1 助力开发者构建下一代自主应用——全程保持完全透明、可控且易于获取。Python00
kylin-wayland-compositorkylin-wayland-compositor或kylin-wlcom(以下简称kywc)是一个基于wlroots编写的wayland合成器。 目前积极开发中,并作为默认显示服务器随openKylin系统发布。 该项目使用开源协议GPL-1.0-or-later,项目中来源于其他开源项目的文件或代码片段遵守原开源协议要求。C01
PaddleOCR-VLPaddleOCR-VL 是一款顶尖且资源高效的文档解析专用模型。其核心组件为 PaddleOCR-VL-0.9B,这是一款精简却功能强大的视觉语言模型(VLM)。该模型融合了 NaViT 风格的动态分辨率视觉编码器与 ERNIE-4.5-0.3B 语言模型,可实现精准的元素识别。Python00
GLM-4.7GLM-4.7上线并开源。新版本面向Coding场景强化了编码能力、长程任务规划与工具协同,并在多项主流公开基准测试中取得开源模型中的领先表现。 目前,GLM-4.7已通过BigModel.cn提供API,并在z.ai全栈开发模式中上线Skills模块,支持多模态任务的统一规划与协作。Jinja00
agent-studioopenJiuwen agent-studio提供零码、低码可视化开发和工作流编排,模型、知识库、插件等各资源管理能力TSX0126
Spark-Formalizer-X1-7BSpark-Formalizer 是由科大讯飞团队开发的专用大型语言模型,专注于数学自动形式化任务。该模型擅长将自然语言数学问题转化为精确的 Lean4 形式化语句,在形式化语句生成方面达到了业界领先水平。Python00