[INFO] cloning repository https://github.com/trombiano1/psobench
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/trombiano1/psobench" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftrombiano1%2Fpsobench", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftrombiano1%2Fpsobench'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] c0d909ce58629f9e7a5ffbba4ff6114e974c4a44
[INFO] checking trombiano1/psobench against try#9053a8ad740a9e131b53ea98acecf68cf79134fe for pr-137045
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftrombiano1%2Fpsobench" "/workspace/builds/worker-5-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc2/source'...
[INFO] [stderr] done.
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_17_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_17_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_17_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_18_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_18_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_18_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_18_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_19_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_19_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_19_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_19_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_1_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_1_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_1_D2.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_1_D20.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_1_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_1_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_20_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_20_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_20_D20.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_20_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_20_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_21_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_21_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_21_D2.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_21_D20.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_21_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_21_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_22_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_22_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_22_D2.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_22_D20.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_22_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_22_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_23_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_23_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_23_D2.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_23_D20.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_23_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_23_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_24_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_24_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_24_D2.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_24_D20.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_24_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_24_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_25_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_25_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_25_D2.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_25_D20.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_25_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_25_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_26_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_26_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_26_D2.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_26_D20.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_26_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_26_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_27_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_27_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_27_D2.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_27_D20.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_27_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_27_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_28_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_28_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_28_D2.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_28_D20.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_28_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_28_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_29_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_29_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_29_D2.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_29_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_29_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_2_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_2_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_2_D2.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_2_D20.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_2_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_2_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_30_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_30_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_30_D2.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_30_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_30_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_3_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_3_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_3_D2.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_3_D20.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_3_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_3_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_4_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_4_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_4_D2.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_4_D20.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_4_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_4_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_5_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_5_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_5_D2.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_5_D20.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_5_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_5_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_6_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_6_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_6_D2.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_6_D20.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_6_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_6_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_7_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_7_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_7_D2.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_7_D20.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_7_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_7_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_8_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_8_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_8_D2.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_8_D20.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_8_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_8_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_9_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_9_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_9_D2.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_9_D20.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_9_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/M_9_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_1.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_11.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_12.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_13.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_14.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_15.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_16.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_17.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_18.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_19.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_2.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_20.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_21.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_22.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_23.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_24.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_25.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_26.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_27.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_28.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_29.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_3.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_4.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_5.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_6.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_7.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shift_data_8.txt
[INFO] [stderr] error: unable to create file src/cec17/input_data/shift_data_9.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_10_D10.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_10_D100.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_10_D20.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_10_D30.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_10_D50.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_11_D10.txt: No space left on device
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_21_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_21_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_22_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_22_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_22_D20.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_22_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_22_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_23_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_23_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_23_D20.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_23_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_23_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_24_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_24_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_24_D20.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_24_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_24_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_25_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_25_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_25_D20.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_25_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_25_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_26_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_26_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_26_D20.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_26_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_26_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_27_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_27_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_27_D20.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_27_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_27_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_28_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_28_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_28_D20.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_28_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_28_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_29_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_29_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_29_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_29_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_2_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_2_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_2_D20.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_2_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_2_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_30_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_30_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_30_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_30_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_3_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_3_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_3_D20.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_3_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_3_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_4_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_4_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_4_D20.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_4_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_4_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_5_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_5_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_5_D20.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_5_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_5_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_6_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_6_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_6_D20.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_6_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_6_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_7_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_7_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_7_D20.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_7_D30.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_7_D50.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_8_D10.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_8_D100.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_8_D20.txt
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_8_D30.txt
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_8_D50.txt: No space left on device
[INFO] [stderr] error: unable to write file src/cec17/input_data/shuffle_data_9_D10.txt
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_9_D100.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_9_D20.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_9_D30.txt: No space left on device
[INFO] [stderr] error: unable to create file src/cec17/input_data/shuffle_data_9_D50.txt: No space left on device
[INFO] [stderr] error: unable to write file src/functions.rs
[INFO] [stderr] error: unable to write file src/grid_search.rs
[INFO] [stderr] error: unable to write file src/main.rs
[INFO] [stderr] fatal: cannot create directory at 'src/optimizers': No space left on device
[INFO] [stderr] warning: Clone succeeded, but checkout failed.
[INFO] [stderr] You can inspect what was checked out with 'git status'
[INFO] [stderr] and retry with 'git restore --source=HEAD :/'
[INFO] [stderr] 
[INFO] checking trombiano1/psobench against try#9053a8ad740a9e131b53ea98acecf68cf79134fe for pr-137045
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftrombiano1%2Fpsobench" "/workspace/builds/worker-5-tc2/source", kill_on_drop: false }`
[INFO] [stderr] fatal: could not create work tree dir '/workspace/builds/worker-5-tc2/source': No space left on device
[INFO] checking trombiano1/psobench against try#9053a8ad740a9e131b53ea98acecf68cf79134fe for pr-137045
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftrombiano1%2Fpsobench" "/workspace/builds/worker-5-tc2/source", kill_on_drop: false }`
[INFO] [stderr] fatal: could not create work tree dir '/workspace/builds/worker-5-tc2/source': No space left on device
[INFO] checking trombiano1/psobench against try#9053a8ad740a9e131b53ea98acecf68cf79134fe for pr-137045
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftrombiano1%2Fpsobench" "/workspace/builds/worker-5-tc2/source", kill_on_drop: false }`
[INFO] [stderr] fatal: could not create work tree dir '/workspace/builds/worker-5-tc2/source': No space left on device
[INFO] checking trombiano1/psobench against try#9053a8ad740a9e131b53ea98acecf68cf79134fe for pr-137045
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftrombiano1%2Fpsobench" "/workspace/builds/worker-5-tc2/source", kill_on_drop: false }`
[INFO] [stderr] fatal: could not create work tree dir '/workspace/builds/worker-5-tc2/source': No space left on device


failed to checkout https://github.com/trombiano1/psobench

Caused by:
    command failed: exit status: 128