tree c59895da0170140434f85e23342ab4256af90e22
parent f66250085830b5d3d9ac0bee1ecb8a3cafe45d39
author Davide Pesavento <davidepesa@gmail.com> 1659818694 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1660185904 -0400

ci: auto-detect the OS instead of relying on NODE_LABELS

And remove WAF_JOBS: waf already defaults to the number of available
CPUs, which is appropriate in most cases, and we can always use the
built-in JOBS variable to override it where necessary.

Change-Id: Ic5bfc2133b39407db3a075bb406eb288f01e0f2d