We prove that if a finitely generated random group action is robustly expansive and has the shadowing property, then it is rigid. We apply this result to analyze the rigidity of certain iterated function systems or actions of the discrete Heisenberg group.