Code

ci: merge endo integration branch#8261

Code

Merged

mergify[bot] merged 1 commit intomasterAgoric/agoric-sdk:masterfrom mhofman/endo-ci-integration-branchAgoric/agoric-sdk:mhofman/endo-ci-integration-branchCopy head branch name to clipboardSep 9, 2023

+12

Commits

Commits on Sep 8, 2023

• ci: ensure integration tests run to completion

  mhofman

  committed
  2722f1b

  Copy full SHA for 2722f1b