Skip to content

.github/workflows: remove threshold 50m to show all files #40372

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
merged 1 commit into from
Jul 7, 2025
Merged

.github/workflows: remove threshold 50m to show all files #40372

merged 1 commit into from
Jul 7, 2025

Conversation

aanm
Copy link
Member

@aanm aanm commented Jul 4, 2025

There are still some files under /mnt. We would like to know which ones are they so that we can delete them.

@aanm
.github/workflows: remove threshold 50m to show all files
4891a0d 
There are still some files under /mnt. We would like to know which
ones are they so that we can delete them.

Signed-off-by: André Martins <andre@cilium.io>
@aanm aanm requested review from a team as code owners July 4, 2025 12:31
@aanm aanm added the release-note/misc This PR makes changes that have no direct user impact. label Jul 4, 2025
@aanm aanm requested a review from viktor-kurchenko July 4, 2025 12:31
@aanm aanm enabled auto-merge July 4, 2025 12:31
@aanm
Copy link
Member Author

aanm commented Jul 4, 2025

/test

@aanm aanm removed the release-note/misc This PR makes changes that have no direct user impact. label Jul 7, 2025
@maintainer-s-little-helper maintainer-s-little-helper bot added the dont-merge/needs-release-note-label The author needs to describe the release impact of these changes. label Jul 7, 2025
@aanm aanm added release-note/misc This PR makes changes that have no direct user impact. and removed dont-merge/needs-release-note-label The author needs to describe the release impact of these changes. labels Jul 7, 2025
@maintainer-s-little-helper maintainer-s-little-helper bot added dont-merge/needs-release-note-label The author needs to describe the release impact of these changes. and removed dont-merge/needs-release-note-label The author needs to describe the release impact of these changes. labels Jul 7, 2025
@aanm aanm added this pull request to the merge queue Jul 7, 2025
Merged via the queue into main with commit 68c511c Jul 7, 2025
76 checks passed
@aanm aanm deleted the pr/remove-more-files-under-mnt branch July 7, 2025 09:47
@maintainer-s-little-helper maintainer-s-little-helper bot added ready-to-merge This PR has passed all tests and received consensus from code owners to merge. labels Jul 7, 2025
@viktor-kurchenko viktor-kurchenko mentioned this pull request Jul 8, 2025
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@viktor-kurchenko viktor-kurchenko viktor-kurchenko approved these changes

Assignees
No one assigned
Labels
ready-to-merge This PR has passed all tests and received consensus from code owners to merge. release-note/misc This PR makes changes that have no direct user impact.
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@aanm @viktor-kurchenko