[DynInst_API:] [dyninst/dyninst] 18f5ed: GitHubCI: cleanup and fix extrae build


Date: Sun, 05 Oct 2025 23:49:08 -0700
From: Tim Haines <noreply@xxxxxxxxxx>
Subject: [DynInst_API:] [dyninst/dyninst] 18f5ed: GitHubCI: cleanup and fix extrae build
  Branch: refs/heads/thaines/consumers_extrae_fix
  Home:   https://github.com/dyninst/dyninst
  Commit: 18f5ed00bb9b1950c2b4743610d4b6316ea2bd0d
      https://github.com/dyninst/dyninst/commit/18f5ed00bb9b1950c2b4743610d4b6316ea2bd0d
  Author: Tim Haines <thaines.astro@xxxxxxxxx>
  Date:   2025-10-06 (Mon, 06 Oct 2025)

  Changed paths:
    M .github/workflows/consumers.yaml

  Log Message:
  -----------
  GitHubCI: cleanup and fix extrae build

1. Use their new bootstrap script
2. Remove ubuntu version check (we no longer use 24.10)



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] 18f5ed: GitHubCI: cleanup and fix extrae build, Tim Haines <=