(
session: ExecutionSession,
workspacePath: string,
githubRepo: string,
githubToken?: string,
gitAuthor?: GitAuthorConfig,
options?: { shallow?: boolean }
)
| 706 | 'Workspace admission rejected because disk capacity could not be measured', |
| 707 | error |
| 708 | ); |
| 709 | } |
| 710 | |
| 711 | if (result.exitCode !== 0) { |
| 712 | logger |
| 713 | .withFields({ exitCode: result.exitCode, stderr: result.stderr }) |
| 714 | .warn('Disk check: df command failed'); |
| 715 | throw new Error(`Disk check failed: ${result.stderr || `exit ${result.exitCode}`}`); |
| 716 | } |
| 717 | |
| 718 | // Output is like "123456789 5000000000" (pure numbers in bytes) |
| 719 | const output = result.stdout.trim(); |
| 720 | const match = output.match(/^(\d+)\s+(\d+)$/); |
| 721 |
no test coverage detected