Skip to content

chore: skip retest on PR merge and default member role#8

Merged
diazdesandi merged 1 commit into
mainfrom
chore/ci-and-member-role-defaults
Jun 17, 2026
Merged

chore: skip retest on PR merge and default member role#8
diazdesandi merged 1 commit into
mainfrom
chore/ci-and-member-role-defaults

Conversation

@diazdesandi

Copy link
Copy Markdown
Member

Summary

  • Skip CI retest on push to main when the commit is from a merged PR (squash/merge commit detection); deploy runs alone
  • Run test then deploy only for direct pushes to main
  • Default members.yaml team role to member; specify role: maintainer only when needed

Test plan

  • Merge a PR and confirm push workflow runs deploy only (no test job)
  • Direct push to main runs test then deploy
  • PR workflow still runs test → preview
  • bun test passes; members without role validate and provision as member

Detect squash/merge commits on push to main so deploy runs without
rerunning CI; direct pushes to main still run test then deploy.
Default members.yaml team role to member when omitted.
@sonarqubecloud

Copy link
Copy Markdown

@github-actions

Copy link
Copy Markdown

🍹 preview on thaw-config/diazdesandi/dev

Pulumi report

View in Pulumi Cloud

Previewing update (dev)

View Live: https://app.pulumi.com/diazdesandi/thaw-config/dev/previews/178fb6a0-cfc8-4382-beeb-a0a44529e16c

Downloading plugin github-6.14.0: starting
Downloading plugin github-6.14.0: done
Installing plugin github-6.14.0: starting
@ Previewing update....
Installing plugin github-6.14.0: done

@ Previewing update....
pulumi:pulumi:Stack thaw-config-dev running 
@ Previewing update..........
pulumi:pulumi:Stack thaw-config-dev  
Resources:
271 unchanged

@diazdesandi diazdesandi marked this pull request as ready for review June 17, 2026 00:00
@diazdesandi diazdesandi merged commit 80f80bd into main Jun 17, 2026
6 checks passed
@diazdesandi diazdesandi deleted the chore/ci-and-member-role-defaults branch June 17, 2026 09:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant