[DynInst_API:] [dyninst/dyninst] bdecc2: GitHub CI: force test directory (#2077)

[Tim Haines <noreply@xxxxxxxxxx>]

  Branch: refs/heads/master
  Home:   https://github.com/dyninst/dyninst
  Commit: bdecc21e2ce61e4305e95bf79fddc929e00ec6fc
      https://github.com/dyninst/dyninst/commit/bdecc21e2ce61e4305e95bf79fddc929e00ec6fc
  Author: Tim Haines <thaines.astro@xxxxxxxxx>
  Date:   2025-12-03 (Wed, 03 Dec 2025)

  Changed paths:
    M docker/build.sh

  Log Message:
  -----------
  GitHub CI: force test directory (#2077)

When run under GitHub's CI, ctest doesn't find the build directory specified by
'--test-dir' _and_ it doesn't raise an error even though '--no-tests=error'.
This fixes both.



To unsubscribe from these emails, change your notification settings at https://github.com/dyninst/dyninst/settings/notifications