Skip to content

Docs: add guidance for previous-id metadata#19097

Merged
jcogs33 merged 3 commits into
github:mainfrom
jcogs33:jcogs33/metatdata-previous-id
Mar 24, 2025
Merged

Docs: add guidance for previous-id metadata#19097
jcogs33 merged 3 commits into
github:mainfrom
jcogs33:jcogs33/metatdata-previous-id

Docs: add previous-id property to metadata-for-codeql-queries.rst

bea8ce3
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs