The upgrade went through flawlessly, but, after a few reboots, I could no longer login as the keyboard input was not accepted by OS X. It worked on the BIOS and the Clover Boot screen, though.
Eventually, I had to re-install the 10.13.5 through a TM backup which fixed the issue.