Repository navigation

ci(attest): push the rebuilt dist to the PR branch by name - #136

Closed

ronens88 wants to merge 2 commits into

mainfrom

ci/rebuild-dist-push

Closed

ci(attest): push the rebuilt dist to the PR branch by name#136
ronens88 wants to merge 2 commits into
mainfrom
ci/rebuild-dist-push

Commits on Oct 26, 2026
- ci(attest): push the rebuilt dist to the PR branch by name
  
  ronens88
  and
  claude
  committed
  c93dfcd
- ci(attest): push the rebuilt dist only while the PR head is unchanged
  
  ronens88
  and
  claude
  committed
  ebb8349