Skip to content

Main mergeback to develop after release#1984

Merged
rhornung67 merged 6 commits intodevelopfrom
main
Feb 2, 2026
Merged

Main mergeback to develop after release#1984
rhornung67 merged 6 commits intodevelopfrom
main

Conversation

@rhornung67
Copy link
Member

Summary

  • This PR will merge the v2025.12.1 release candidate changes into the develop branch.

@rhornung67
Copy link
Member Author

@llnl/raja-core all the checks are green on this, but the matrix and corona down failures are from the time when both machines were down for maintenance. I don't know how to clear those since I cannot push an empty commit to main because it is a protected branch.

Please approve and I will manually merge this.

@rhornung67 rhornung67 merged commit 05256aa into develop Feb 2, 2026
35 of 37 checks passed
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.

3 participants