Skip to content

[codex] Add CodeQL, archival metadata, and report docs#10

Merged
jang1563 merged 1 commit into
mainfrom
codex/security-archive-report-polish
Jun 17, 2026
Merged

[codex] Add CodeQL, archival metadata, and report docs#10
jang1563 merged 1 commit into
mainfrom
codex/security-archive-report-polish

Conversation

@jang1563

Copy link
Copy Markdown
Owner

Summary

  • add CodeQL Python code-scanning workflow and README badge
  • add Zenodo archival metadata for v0.1.1
  • add a technical report and Hugging Face leaderboard Space plan
  • update release checklist for CodeQL and Zenodo metadata checks

Validation

  • .venv/bin/ruff check .
  • .venv/bin/python -m json.tool .zenodo.json
  • ruby -e "require 'yaml'; YAML.load_file('.github/workflows/codeql.yml')"
  • .venv/bin/python -m pytest

@github-advanced-security

Copy link
Copy Markdown

You are seeing this message because GitHub Code Scanning has recently been set up for this repository, or this pull request contains the workflow file for the Code Scanning tool.

What Enabling Code Scanning Means:

  • The 'Security' tab will display more code scanning analysis results (e.g., for the default branch).
  • Depending on your configuration and choice of analysis tool, future pull requests will be annotated with code scanning analysis results.
  • You will be able to see the analysis results for the pull request's branch on this overview once the scans have completed and the checks have passed.

For more information about GitHub Code Scanning, check out the documentation.

@jang1563 jang1563 merged commit 0bf4846 into main Jun 17, 2026
4 checks passed
@jang1563 jang1563 deleted the codex/security-archive-report-polish branch June 17, 2026 03:23
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.

2 participants