Skip to content

Replace pull_request_target with pull_request in CI workflow#320

Merged
ZheSun88 merged 2 commits into
mainfrom
fix/remove-pull-request-target
May 25, 2026
Merged

Replace pull_request_target with pull_request in CI workflow#320
ZheSun88 merged 2 commits into
mainfrom
fix/remove-pull-request-target

Conversation

@manolo

@manolo manolo commented May 20, 2026

Copy link
Copy Markdown
Member

Summary

Replaces pull_request_target with pull_request in validation.yml.

Removes the environment: pr-tests gate from the build job. build, tests and test-results skip entirely for fork PRs since VAADIN_PRO_KEY is not available in that context.

Switch from pull_request_target to pull_request. Removes environment gate.
Build and test jobs skip for fork PRs since VAADIN_PRO_KEY is not available.
test-results also skips for fork PRs to avoid artifact download failures.
@github-actions

Copy link
Copy Markdown

Test Results

148 tests  ±0   148 ✅ ±0   1m 42s ⏱️ -5s
 39 suites ±0     0 💤 ±0 
 39 files   ±0     0 ❌ ±0 

Results for commit 82344ab. ± Comparison against base commit 6503c88.

@ZheSun88 ZheSun88 enabled auto-merge (squash) May 25, 2026 14:10
@ZheSun88 ZheSun88 merged commit 0e76715 into main May 25, 2026
2 of 5 checks passed
@ZheSun88 ZheSun88 deleted the fix/remove-pull-request-target branch May 25, 2026 14:10
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.

2 participants