Skip to content

ci: update CodeQL actions together - #31

Merged
krotname merged 1 commit into
masterfrom
codex/codeql-4.37.9
Sep 5, 2026
Merged

krotname merged 1 commit into
masterfrom
codex/codeql-4.37.9

Conversation

@krotname

@krotname krotname commented Sep 5, 2026

Copy link
Copy Markdown
Owner

Updates both CodeQL init and analyze to the same pinned v4.37.9 commit so the workflow cannot fail from mixed action versions.

Supersedes #26.

Validation: git diff --check; full workflow validation is enforced by PR CI.

@chatgpt-codex-connector

chatgpt-codex-connector Bot commented Sep 5, 2026

Copy link
Copy Markdown

Codex Review Summary

This comment shows the latest Codex review activity on this pull request.

Review Status Commit Review trigger
📝 Code Review Completed 2026-09-05T08:14:05.163103Z f578e5f Manual request
🔒 Security Review Completed 2026-09-05T08:10:32.648519Z f578e5f PR opened
ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review" or "@codex security review".

Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings.

@codecov

codecov Bot commented Sep 5, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!

krotname commented Sep 5, 2026

Copy link
Copy Markdown
Owner Author

@codex review

@chatgpt-codex-connector

Copy link
Copy Markdown

Codex Review: Didn't find any major issues. What shall we delve into next?

Reviewed commit: f578e5fbe5

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

@krotname
krotname merged commit 7d816f0 into master Sep 5, 2026
21 checks passed
@krotname
krotname deleted the codex/codeql-4.37.9 branch September 5, 2026 08:14
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