tree 00c4b00db856d291b9b40e6a5c9af5ad79485c6d
parent 423e58a503646183e61cab4f45cf41479d25d8f1
author Davide Pesavento <davidepesa@gmail.com> 1660342771 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1660342771 -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: Id132b9ef8467a563694222ccc64a676cdc076e17