[dgl]

With make allnoconfig it also takes <30s on a recent-ish Intel CPU (12th gen; i7 12700). As low as 20s if it's cached and with make -j20.