tree f7e8d0d03bcd0845065ee64d47c74c8026903d16
parent 20cafa8715c0363cd73c97414102b045f2cb5aba
author Davide Pesavento <davidepesa@gmail.com> 1660431055 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1660431055 -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: I555dda0ccc48ee791271dbdaf4225cd1cfec4f3d