Skip to content

ci: remove weekly CodeQL schedule and repair CI prerequisites - #103

Merged
Arimacose merged 2 commits into
mainfrom
codex/remove-codeql-weekly-schedule
Sep 24, 2026
Merged

Arimacose merged 2 commits into
mainfrom
codex/remove-codeql-weekly-schedule

Conversation

@Arimacose

@Arimacose Arimacose commented Sep 24, 2026 •

Copy link
Copy Markdown
Owner

变更摘要

取消 CodeQL 的每周定时扫描,保留 main 推送、PR 和手动触发。修复同时阻塞 CI 的两项环境与证据问题:

  • 在 CodeQL 及 Android CI 的三个 SDK setup 步骤中显式使用 packages: platform-tools,避免默认请求找不到的 tools 包。
  • 使用仓库 verifier 读取上游实时 PR 状态,重新生成 admission JSON、SHA-256 及 Kotlin 嵌入记录。实际证据变化仅为上游 PR 的 updated_at,准入条件和失败结论不变。

验证

  • python -B -m unittest tools/provider-admission/test_verify_translation_admission.py -v:22 项通过。
  • python -B tools/provider-admission/verify_translation_admission.py --write 后执行 --check:通过。
  • git diff --check:通过。
  • 完整 Android / CodeQL 检查:由本 PR 的 GitHub Actions 执行,合并前核验。

发布影响

不调整版本号、不发布 APK、不更改仓库保护规则。

@Arimacose Arimacose changed the title ci: remove weekly CodeQL schedule ci: remove weekly CodeQL schedule and repair CI prerequisites Sep 24, 2026
@Arimacose
Arimacose merged commit 0c1e033 into main Sep 24, 2026
5 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant