[DynInst_API:] [dyninst/dyninst] 4a40ec: GitHubCI: require external-test to run


Date: Thu, 13 Nov 2025 12:46:30 -0800
From: Tim Haines <noreply@xxxxxxxxxx>
Subject: [DynInst_API:] [dyninst/dyninst] 4a40ec: GitHubCI: require external-test to run
  Branch: refs/heads/thaines/pr_test_ctest_fix
  Home:   https://github.com/dyninst/dyninst
  Commit: 4a40ec9303abdb8564c3fd1f44581f1ab2d6cbaa
      https://github.com/dyninst/dyninst/commit/4a40ec9303abdb8564c3fd1f44581f1ab2d6cbaa
  Author: Tim Haines <thaines.astro@xxxxxxxxx>
  Date:   2025-11-13 (Thu, 13 Nov 2025)

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

  Log Message:
  -----------
  GitHubCI: require external-test to run



To unsubscribe from these emails, change your notification settings at https://github.com/dyninst/dyninst/settings/notifications
[← Prev in Thread] Current Thread [Next in Thread→]
  • [DynInst_API:] [dyninst/dyninst] 4a40ec: GitHubCI: require external-test to run, Tim Haines <=