[DynInst_API:] [dyninst/dyninst] 45614d: Github CI: increase number of build jobs (#1424)


Date: Tue, 02 May 2023 11:17:19 -0700
From: Tim Haines <noreply@xxxxxxxxxx>
Subject: [DynInst_API:] [dyninst/dyninst] 45614d: Github CI: increase number of build jobs (#1424)
  Branch: refs/heads/master
  Home:   https://github.com/dyninst/dyninst
  Commit: 45614d7908e36d32d26126d2844d388c6936ba61
      https://github.com/dyninst/dyninst/commit/45614d7908e36d32d26126d2844d388c6936ba61
  Author: Tim Haines <thaines.astro@xxxxxxxxx>
  Date:   2023-05-02 (Tue, 02 May 2023)

  Changed paths:
    M .github/workflows/dev-containers.yaml
    M .github/workflows/pr-tests.yaml

  Log Message:
  -----------
  Github CI: increase number of build jobs (#1424)

Github only allows one CPU core per job, but any number of threads. Testing shows that N=2 threads reduces build time by 2-2.5x, N=3 by 2.2x, and N=4 increases build time.


[← Prev in Thread] Current Thread [Next in Thread→]
  • [DynInst_API:] [dyninst/dyninst] 45614d: Github CI: increase number of build jobs (#1424), Tim Haines <=