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

WIP use ScopedValues for TestSets #185

Closed
wants to merge 5 commits into from
Closed

Conversation

nickrobinson251
Copy link
Member

@nickrobinson251 nickrobinson251 commented Sep 23, 2024

PR Description

What does this PR do?

  • rebase of julia/pull/53462 for reference (with tests that need fixing commented out)
    • looks mostly like issues with the accounting of errors/failures, and maybe also with handling (nested?) custom testsets?
  • re RAI-30014

Checklist

Requirements for merging:

  • I have opened an issue or PR upstream on JuliaLang/julia: <link to JuliaLang/julia>
  • I have removed the port-to-* labels that don't apply.
  • I have opened a PR on raicode to test these changes:

@github-actions github-actions bot added port-to-v1.10 This change should apply to Julia v1.10 builds port-to-master This change should apply to all future Julia builds port-to-v1.9 This change should apply to Julia v1.9 builds labels Sep 23, 2024
Copy link

This PR is stale because it has been open 30 days with no activity. Comment or remove stale label, or this PR will be closed in 5 days.

@github-actions github-actions bot added the stale This pull request is inactive label Nov 14, 2024
@github-actions github-actions bot closed this Nov 19, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
port-to-master This change should apply to all future Julia builds port-to-v1.9 This change should apply to Julia v1.9 builds port-to-v1.10 This change should apply to Julia v1.10 builds stale This pull request is inactive
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants