Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

ci: fix integration test skip #8283

Merged
merged 2 commits into from
Aug 31, 2023
Merged

Conversation

mhofman
Copy link
Member

@mhofman mhofman commented Aug 30, 2023

Description

#8267 and #8275 attempted to fix the reporting of integration test results, but apparently #8220 still made it through with a skipped integration test.

This changes the mergify rule to always require a successful run of the integration test or a bypass. To accommodate the case of an integration test having successfully run before (e.g. force:integration label, then automerge: label applied on up to date PR after all checks have already passed), this PR also updates the result reporting of the integration test to carry forward this previous success instead of marking it as skipped.

Security Considerations

None

Scaling Considerations

None

Documentation Considerations

None

Testing Considerations

Will manually test the carry forward on this PR

Upgrade Considerations

None

@mhofman mhofman requested a review from michaelfig August 30, 2023 22:15
@mhofman mhofman force-pushed the mhofman/fix-skipped-integration branch from 9f8f1cd to 89fa19b Compare August 30, 2023 22:59
@mhofman mhofman added the force:integration Force integration tests to run on PR label Aug 30, 2023
@mhofman mhofman force-pushed the mhofman/fix-skipped-integration branch from 89fa19b to 9dfcd13 Compare August 30, 2023 23:12
@mhofman mhofman added the bypass:automerge Allow manually merging a PR label Aug 30, 2023
@mhofman mhofman force-pushed the mhofman/fix-skipped-integration branch from 9dfcd13 to e4b2f48 Compare August 31, 2023 00:12
@mhofman mhofman added force:integration Force integration tests to run on PR bypass:automerge Allow manually merging a PR and removed force:integration Force integration tests to run on PR bypass:automerge Allow manually merging a PR labels Aug 31, 2023
@mhofman mhofman merged commit 9450530 into master Aug 31, 2023
@mhofman mhofman deleted the mhofman/fix-skipped-integration branch August 31, 2023 01:03
mhofman added a commit that referenced this pull request Jan 12, 2024
@aj-agoric aj-agoric assigned michaelfig and unassigned michaelfig May 14, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bypass:automerge Allow manually merging a PR force:integration Force integration tests to run on PR
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants