Did Biggie and Faith Evans ever get a divorce?

I've been looking all over the place and I'm watching Notorious and I
can't really figure it out so did they or did they not?