etc: Remove redundant definition.#5865
Conversation
|
clang-tidy review says "All clean, LGTM! 👍" |
|
Seems something's wrong with the CI: #8 131.3 Cloning into 'eigen'...
|
|
Looks like eigen server timed out so I've re-triggered the build. The change looks trivial enough it should go through. |
|
It seems there was a timeout issue: Cancelling nested steps due to timeout GitHub has been notified of this commit’s build result Finished: ABORTED |
It is a left over from 4fef3cb which moved definition few lines above. Signed-off-by: Christian Costa <titan.costa@gmail.com>
Head branch was pushed to by a user without write access
|
clang-tidy review says "All clean, LGTM! 👍" |
|
Retriggered tests. They pass now. Auto-merging has been disabled when pushing from rebase. |
It is a left over from 4fef3cb which moved definition few lines above.