You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Since we need xcop to be installed before building the project, we need to mention it in the docs.
Moreover, recent bugs show that we need at least 0.8.0 version of xcop to build the project.
⚠️ Performance loss: benchmarks.XmirBench.xmirToEO is slower by 11.830 ms/op (7.61%)
✅ Performance gain: benchmarks.XmirBench.xmirToPhi is faster by 3.199 ms/op (1.88%) ⚠️ Performance loss: benchmarks.XmirBench.xmirToSaltyPhi is slower by 27.129 ms/op (21.01%)
@volodya-lombrozo FYI, it's not mandatory that xcop is installed on your local machine. If it's not installed - the all xcop steps are just skipped during the build. But if it's installed - it must be >= 0.8.0
@volodya-lombrozo FYI, it's not mandatory that xcop is installed on your local machine. If it's not installed - the all xcop steps are just skipped during the build. But if it's installed - it must be >= 0.8.0
@maxonfjvipon I see, thanks. Let me fix the description then.
Merged
via the queue into
objectionary:master
with commit 1e48c05Feb 27, 2025
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
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.
Since we need
xcopto be installed before building the project, we need to mention it in the docs.Moreover, recent bugs show that we need at least
0.8.0version ofxcopto build the project.Closes: #3957