Skip to content

CodeQL Mariner toolkit#6885

Merged
nicogbg merged 17 commits intomainfrom
nicogbg/CodelQL-toolkit
Dec 4, 2023
Merged

CodeQL Mariner toolkit#6885
nicogbg merged 17 commits intomainfrom
nicogbg/CodelQL-toolkit

Conversation

@nicogbg
Copy link
Copy Markdown
Contributor

@nicogbg nicogbg commented Dec 1, 2023

Merge Checklist

All boxes should be checked before merging the PR (just tick any boxes which don't apply to this PR)

  • The toolchain has been rebuilt successfully (or no changes were made to it)
  • The toolchain/worker package manifests are up-to-date
  • Any updated packages successfully build (or no packages were changed)
  • Packages depending on static components modified in this PR (Golang, *-static subpackages, etc.) have had their Release tag incremented.
  • Package tests (%check section) have been verified with RUN_CHECK=y for existing SPEC files, or added to new SPEC files
  • All package sources are available
  • cgmanifest files are up-to-date and sorted (./cgmanifest.json, ./toolkit/scripts/toolchain/cgmanifest.json, .github/workflows/cgmanifest.json)
  • LICENSE-MAP files are up-to-date (./SPECS/LICENSES-AND-NOTICES/data/licenses.json, ./SPECS/LICENSES-AND-NOTICES/LICENSES-MAP.md, ./SPECS/LICENSES-AND-NOTICES/LICENSE-EXCEPTIONS.PHOTON)
  • All source files have up-to-date hashes in the *.signatures.json files
  • sudo make go-tidy-all and sudo make go-test-coverage pass
  • Documentation has been updated to match any changes to the build system
  • Ready to merge

Summary

CodeQL Mariner toolkit

Change Log
  • Change
  • Change
  • Change
Does this affect the toolchain?

NO

Associated issues
  • #xxxx
Links to CVEs
Test Methodology
  • Pipeline build id: xxxx

@nicogbg nicogbg requested a review from a team as a code owner December 1, 2023 17:53
@microsoft-github-policy-service microsoft-github-policy-service Bot added the main PR Destined for main label Dec 1, 2023
@nicogbg nicogbg merged commit 59331eb into main Dec 4, 2023
@nicogbg nicogbg deleted the nicogbg/CodelQL-toolkit branch December 4, 2023 22:17
nicogbg added a commit that referenced this pull request Dec 4, 2023
Co-authored-by: CBL-Mariner Servicing Account <cblmargh@microsoft.com>
nicogbg added a commit that referenced this pull request Dec 4, 2023
Co-authored-by: CBL-Mariner Servicing Account <cblmargh@microsoft.com>
nicogbg added a commit that referenced this pull request Dec 4, 2023
Co-authored-by: CBL-Mariner Servicing Account <cblmargh@microsoft.com>
nicogbg added a commit that referenced this pull request Dec 4, 2023
Co-authored-by: CBL-Mariner Servicing Account <cblmargh@microsoft.com>
Camelron pushed a commit that referenced this pull request Dec 7, 2023
Co-authored-by: CBL-Mariner Servicing Account <cblmargh@microsoft.com>
gmileka pushed a commit that referenced this pull request Dec 7, 2023
Co-authored-by: CBL-Mariner Servicing Account <cblmargh@microsoft.com>
eiffel-fl pushed a commit to eiffel-fl/CBL-Mariner that referenced this pull request Mar 1, 2024
Co-authored-by: CBL-Mariner Servicing Account <cblmargh@microsoft.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

main PR Destined for main

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants