[PR #2271] [MERGED] Attempt to clean up PCHs as we build to leave more Hosted Agent disk space #24875

Open
opened 2026-01-31 09:05:52 +00:00 by claunia · 0 comments
Owner

📋 Pull Request Information

Original PR: https://github.com/microsoft/terminal/pull/2271
Author: @miniksa
Created: 8/5/2019
Status: Merged
Merged: 8/6/2019
Merged by: @zadjii-msft

Base: masterHead: dev/miniksa/cleanup_pchs


📝 Commits (3)

  • 50caf67 Cleanup PCHs as the build rolls along to leave enough space on CI agents.
  • 937a0e4 Attempt to restrict pch cleanup to only CI agents.
  • 6997c5d Write message when objects are deleted.

📊 Changes

1 file changed (+8 additions, -0 deletions)

View changed files

📝 src/common.build.post.props (+8 -0)

📄 Description

This cleans up PCHs on CI machines only as builds continue to attempt to mitigate the 10GB maximum scratch space limitation.


🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.

## 📋 Pull Request Information **Original PR:** https://github.com/microsoft/terminal/pull/2271 **Author:** [@miniksa](https://github.com/miniksa) **Created:** 8/5/2019 **Status:** ✅ Merged **Merged:** 8/6/2019 **Merged by:** [@zadjii-msft](https://github.com/zadjii-msft) **Base:** `master` ← **Head:** `dev/miniksa/cleanup_pchs` --- ### 📝 Commits (3) - [`50caf67`](https://github.com/microsoft/terminal/commit/50caf6777f5bad91aaa975cd171750b6c7b33dd6) Cleanup PCHs as the build rolls along to leave enough space on CI agents. - [`937a0e4`](https://github.com/microsoft/terminal/commit/937a0e4fbfcafe57f771b5d61d3f8ccdc6f6b3a7) Attempt to restrict pch cleanup to only CI agents. - [`6997c5d`](https://github.com/microsoft/terminal/commit/6997c5d3d54e9a179aa9ccc24f10471022b64b17) Write message when objects are deleted. ### 📊 Changes **1 file changed** (+8 additions, -0 deletions) <details> <summary>View changed files</summary> 📝 `src/common.build.post.props` (+8 -0) </details> ### 📄 Description This cleans up PCHs on CI machines only as builds continue to attempt to mitigate the 10GB maximum scratch space limitation. --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>
claunia added the pull-request label 2026-01-31 09:05:52 +00:00
Sign in to join this conversation.
No Label pull-request
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: starred/terminal#24875