Skip to content

all.sh: fix file paths for "not grep"#10562

Merged
valeriosetti merged 1 commit into
Mbed-TLS:developmentfrom
mpg:fix-not-grep
Jan 13, 2026
Merged

all.sh: fix file paths for "not grep"#10562
valeriosetti merged 1 commit into
Mbed-TLS:developmentfrom
mpg:fix-not-grep

Conversation

@mpg

@mpg mpg commented Jan 13, 2026 •
edited
Loading

Copy link
Copy Markdown
Contributor

Description

Revealed by Mbed-TLS/mbedtls-framework#268 for which this is a prerequisite.

PR checklist

@mpg
all.sh: fix file paths for "not grep"
21fa489 
Signed-off-by: Manuel Pégourié-Gonnard <manuel.pegourie-gonnard@arm.com>
@mpg mpg self-assigned this Jan 13, 2026
@mpg mpg added needs-review Every commit must be reviewed by at least two team members, needs-reviewer This PR needs someone to pick it up for review priority-medium Medium priority - this can be reviewed as time permits size-xs Estimated task size: extra small (a few hours at most) labels Jan 13, 2026
gilles-peskine-arm
gilles-peskine-arm approved these changes Jan 13, 2026
View reviewed changes

@gilles-peskine-arm gilles-peskine-arm left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

This was referenced Jan 13, 2026
Merged
Open
@github-project-automation github-project-automation Bot moved this from In Development to Has Approval in Non-roadmap pull requests Jan 13, 2026
@valeriosetti valeriosetti added approved Design and code approved - may be waiting for CI or backports and removed needs-review Every commit must be reviewed by at least two team members, needs-reviewer This PR needs someone to pick it up for review labels Jan 13, 2026
@valeriosetti valeriosetti added this pull request to the merge queue Jan 13, 2026
Merged via the queue into Mbed-TLS:development with commit 69e117f Jan 13, 2026
4 checks passed
@github-project-automation github-project-automation Bot moved this from Has Approval to Done in Non-roadmap pull requests Jan 13, 2026
@gilles-peskine-arm gilles-peskine-arm mentioned this pull request Jan 14, 2026
Open
3 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@gilles-peskine-arm gilles-peskine-arm gilles-peskine-arm approved these changes

@valeriosetti valeriosetti valeriosetti approved these changes

Assignees

@mpg mpg

Labels

approved Design and code approved - may be waiting for CI or backports priority-medium Medium priority - this can be reviewed as time permits size-xs Estimated task size: extra small (a few hours at most)

Projects

Non-roadmap pull requests
Archived in project

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@mpg @gilles-peskine-arm @valeriosetti