same effect, it doesn't ask for a PIN thus it doesn't decrypt the data partition.
I assume that neither the test one nor the Miui variant works.
I downloaded that Rom yesterday to give it a look and, in my opinion, it should work with the Miui variant.
I have noticed that on some devices with Miui, depending on the release in which /data was formatted is different the right recovery.
I've, for now, no other solution and can't install ArrowOS to experiment.