Skip to content
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.

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

Shrink replay buffer #1616

Merged
merged 1 commit into from
Jan 27, 2025

Shrink replay buffer

d77aa90
Select commit
Loading
Failed to load commit list.
Merged

Shrink replay buffer #1616

Shrink replay buffer
d77aa90
Select commit
Loading
Failed to load commit list.
buildomat / test-repair succeeded Jan 27, 2025 in 25m 25s

Success!

The buildomat job ID is 01JJMKBZK247A540Z9E4B1C7VW. Click here for more detailed status.

The job produced the following artefacts:

The requested job was completed.

Details

control: job dependencies complete; ready to run (waiting for 13 m 31 s)
control: job assigned to worker 01JJMM4YQC45QTGBDP0DKQX50W [factory aws, i-05d4a8cfd851d0e97] (queued for 1 m 1 s)
...
task: starting task 0: "setup"
task: process exited: duration 4201 ms, exit code 0
...
task: starting task 1: "authentication"
task: process exited: duration 19 ms, exit code 0
...
task: starting task 2: "build"
task: process exited: duration 534197 ms, exit code 0
...
|W| uploading: /tmp/debug/df.txt (1270 bytes)
|W| uploaded: /tmp/debug/df.txt
|W| uploading: /tmp/debug/dtrace.txt (4314650 bytes)
|W| uploaded: /tmp/debug/dtrace.txt
|W| uploading: /tmp/debug/iostat.txt (177313 bytes)
|W| upload warning: file "/tmp/debug/iostat.txt" changed size mid upload: 177313 -> 179713
|W| uploaded: /tmp/debug/iostat.txt
|W| uploading: /tmp/debug/mpstat.txt (430904 bytes)
|W| upload warning: file "/tmp/debug/mpstat.txt" changed size mid upload: 430904 -> 437465
|W| uploaded: /tmp/debug/mpstat.txt
|W| uploading: /tmp/debug/paging.txt (77445 bytes)
|W| upload warning: file "/tmp/debug/paging.txt" changed size mid upload: 77445 -> 78753
|W| uploaded: /tmp/debug/paging.txt
|W| uploading: /tmp/debug/prstat.txt (821442 bytes)
|W| upload warning: file "/tmp/debug/prstat.txt" changed size mid upload: 821442 -> 835701
|W| uploaded: /tmp/debug/prstat.txt
|W| uploading: /tmp/debug/psrinfo.txt (1528 bytes)
|W| uploaded: /tmp/debug/psrinfo.txt
|W| uploading: /tmp/debug/upstairs-info.txt (56540 bytes)
|W| uploaded: /tmp/debug/upstairs-info.txt