Skip to content

Upgrade valgrind to 3.22.0#6777

Merged
snambakam merged 2 commits intomainfrom
snambakam/upgrade-valgrind
Nov 17, 2023
Merged

Upgrade valgrind to 3.22.0#6777
snambakam merged 2 commits intomainfrom
snambakam/upgrade-valgrind

Conversation

@snambakam
Copy link
Copy Markdown
Contributor

Upgrade Valgrind to 3.22.0

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

Upgrade valgrind to 3.22.0

Does this affect the toolchain?

NO

Test Methodology
  • Pipeline build id: 454192

@snambakam snambakam requested a review from a team as a code owner November 16, 2023 23:29
@microsoft-github-policy-service microsoft-github-policy-service Bot added the main PR Destined for main label Nov 16, 2023
@snambakam snambakam merged commit 9ba4e8f into main Nov 17, 2023
@snambakam snambakam deleted the snambakam/upgrade-valgrind branch November 17, 2023 02:40
gmileka pushed a commit that referenced this pull request Dec 7, 2023
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