ot: fix CI format step
#248
Merged
Conversation
This file contains hidden or 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
pamaury
force-pushed
the
fix_ci_format
branch
from
6c526a6 to
ad93889
Compare
pamaury
force-pushed
the
fix_ci_format
branch
2 times, most recently
from
29b7529 to
30f3a80
Compare
loiclefort
reviewed
Oct 22, 2025
pamaury
force-pushed
the
fix_ci_format
branch
from
30f3a80 to
8e557d0
Compare
rivos-eblot
approved these changes
Oct 22, 2025
ziuziakowska
suggested changes
Oct 22, 2025
pamaury
force-pushed
the
fix_ci_format
branch
from
8e557d0 to
92f0569
Compare
loiclefort
reviewed
Oct 22, 2025
pamaury
force-pushed
the
fix_ci_format
branch
from
92f0569 to
43839cd
Compare
|
Note: could you apply the same update to the gitlab version so both CIs use the same rule? Thanks. |
Author
Sure, done, I don't have a way to test it but that should be a relatively safe change? |
Thanks. Yes, should be ok. |
Signed-off-by: Amaury Pouly <amaury.pouly@lowrisc.org>
Signed-off-by: Amaury Pouly <amaury.pouly@lowrisc.org>
Signed-off-by: Amaury Pouly <amaury.pouly@lowrisc.org>
pamaury
force-pushed
the
fix_ci_format
branch
from
c6375a5 to
d93d170
Compare
Author
|
CI failures are unrelated to the PR |
6 tasks
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
5 participants
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.
This step succeeds even when the script changes the code!