Paint over the glue residue with basement waterproofing paint first. If you don't, the glue residue will absorb water vapor, and when it drys out, it will alligator and ruin your finish coat. I have been there, done that and found that the waterproofing paint solved the problem. Good luck!