I also record failed / missed reps, but as 'Reps = 0' and also noting the weight used.
However if this weight exceeds a current PR - GC will recognise this as a new PR. (I know I can delete it, but the algorithm should not even consider 0 reps for a PR)