fix non-exhaustive matching error in id retrieval

Signed-off-by: Sebastian Schüpbach's avatarSebastian Schüpbach <sebastian.schuepbach@unibas.ch>
parent 19959b64
Pipeline #14092 passed with stages
in 10 minutes and 44 seconds