[DynInst_API:] [dyninst/dyninst] a4ecec: Github CI: terminate PR pipeline at first failure


Date: Thu, 07 Sep 2023 10:14:29 -0700
From: Tim Haines <noreply@xxxxxxxxxx>
Subject: [DynInst_API:] [dyninst/dyninst] a4ecec: Github CI: terminate PR pipeline at first failure
  Branch: refs/heads/thaines/github_ci_fail_fast
  Home:   https://github.com/dyninst/dyninst
  Commit: a4ecec1b2e07a9d1ac169ce93cc1cbbbc7f84c49
      https://github.com/dyninst/dyninst/commit/a4ecec1b2e07a9d1ac169ce93cc1cbbbc7f84c49
  Author: Tim Haines <thaines.astro@xxxxxxxxx>
  Date:   2023-09-07 (Thu, 07 Sep 2023)

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

  Log Message:
  -----------
  Github CI: terminate PR pipeline at first failure


[← Prev in Thread] Current Thread [Next in Thread→]
  • [DynInst_API:] [dyninst/dyninst] a4ecec: Github CI: terminate PR pipeline at first failure, Tim Haines <=