Minting from faucet using Petra wallet was not successful. Minting using the Martian wallet was seemless, quick and smooth (successful!).