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

Increase count for STM Weak test parallel #427

Merged
merged 1 commit into from
Dec 21, 2023
Merged

Conversation

jmid
Copy link
Collaborator

@jmid jmid commented Dec 20, 2023

As #406 shows, the parallel STM Weak test occasionally fails to trigger on s390x, thus resulting in a false alarm.

This 1-character PR therefore bumps the test count.
Since this is a negative test stopping on the first counterexample, all platforms except s390x should be unaffected.
On Linux/s390x this should however increase the chance of triggering the issue.

@jmid jmid linked an issue Dec 20, 2023 that may be closed by this pull request
@jmid
Copy link
Collaborator Author

jmid commented Dec 21, 2023

CI summary:

Out of 59 workflows 7 failed with 6 genuine failures and 1 CI issue.

Note:

  • no false alarms (yay! 🎉)
  • no errors related to the adjusted parallel STM Weak test

@jmid jmid merged commit 8fabe06 into main Dec 21, 2023
42 of 49 checks passed
@jmid jmid deleted the increase-weak-stm-count branch December 21, 2023 08:50
@jmid
Copy link
Collaborator Author

jmid commented Dec 21, 2023

CI summary for merge to main

Out of 36 workflows 2 failed - both with genuine issues (no false alarms! 🎉)

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.

STM Weak test parallel fail to trigger on s390x
1 participant