Repository navigation

ci: reuse a pull request's guest images on its dev push - #713

Merged

Pedro Henrique Penna (ppenna) merged 4 commits into

devfrom

agents/reuse-pr-guest-images

Oct 22, 2026

Merged

ci: reuse a pull request's guest images on its dev push#713
Pedro Henrique Penna (ppenna) merged 4 commits into
devfrom
agents/reuse-pr-guest-images

Commits on Oct 22, 2026
- release: validate the guest artifacts of any directory
  
  Pedro Henrique Penna (ppenna)
  and
  Copilot
  committed
  bd1a34f
- ci: record the cache keys and digests of the guest artifacts
  
  Pedro Henrique Penna (ppenna)
  and
  Copilot
  committed
  96999c7
- ci: reuse a pull request's guest images on its dev push
  
  Pedro Henrique Penna (ppenna)
  and
  Copilot
  committed
  64971a4
- ci: rehearse guest artifact reuse on pull requests
  
  Pedro Henrique Penna (ppenna)
  and
  Copilot
  committed
  ffd6b59