Update oneapi releases. #55
Closed
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
marcfehling
force-pushed
the
update-2025
branch
from
c24f71f to
af8c7a1
Compare
marcfehling
changed the title
|
I did the merge and see the changes in the main branch. This PR is still showing status as Open. I get errors if I try to merge again. |
|
I tried doing an "update with rebase" and now it shows the status as closed. The changes are merged despite the confusing message. |
|
@marcfehling: Thanks for doing the updates! I think you understand how the action works now. I added you as a collaborator so you can merge PR's. I will be on vacation for 2 weeks starting tomorrow and may not be available to merge PR's. |
Thank you! I will try to help you keeping this repository up to date. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
No description provided.