add extra thread pool size option (#889) · VKCOM/kphp@8a5a520

Triggered via push August 23, 2023 12:20

master

Status Success

Total duration 16m 39s

Artifacts –

ubuntu.yml

on: push

Matrix: build-linux

9 warnings

Failed to remove 'http.https://github.com/.extraheader' from the git config

Failed to remove 'http.https://github.com/.extraheader' from the git config

Failed to save: "/usr/bin/tar" failed with error: The process '/usr/bin/tar' failed with exit code 2

Failed to save: "/usr/bin/tar" failed with error: The process '/usr/bin/tar' failed with exit code 2

Failed to remove 'http.https://github.com/.extraheader' from the git config

Failed to remove 'http.https://github.com/.extraheader' from the git config

Failed to remove 'http.https://github.com/.extraheader' from the git config

Failed to remove 'http.https://github.com/.extraheader' from the git config

Failed to save: "/usr/bin/tar" failed with error: The process '/usr/bin/tar' failed with exit code 2