codeql

Implement proof contract, bundle API refactor, typed errors, and framework/doc hygiene #60

Sign in to view logs

Triggered via pull request March 3, 2026 20:30

davidahmann

opened #24

codex/proof-required-changes

Status Success

Total duration 1m 16s

Artifacts –

codeql.yml

on: pull_request

Matrix: codeql-scan

Annotations

1 warning

codeql-scan (go)

CodeQL Action v3 will be deprecated in December 2026. Please update all occurrences of the CodeQL Action in your workflow files to v4. For more information, see https://github.blog/changelog/2025-10-28-upcoming-deprecation-of-codeql-action-v3/