Personally, if worried, I would do a test and if it is positive I would inform and follow your local guidance. If negative, I would not inform, no. But that's just me.