Skip to content

ci: bump disk size again#447

Merged
fbiville merged 1 commit intomainfrom
disk_bump
Nov 7, 2025
Merged

ci: bump disk size again#447
fbiville merged 1 commit intomainfrom
disk_bump

Conversation

@fbiville
Copy link
Contributor

@fbiville fbiville commented Nov 7, 2025

A recent build failed on insufficient disk size.

A recent build failed on insufficient disk size.
@fbiville fbiville requested a review from a team as a code owner November 7, 2025 09:42
@fbiville fbiville merged commit 294c726 into main Nov 7, 2025
27 checks passed
@fbiville fbiville deleted the disk_bump branch November 7, 2025 11:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants