Just found out I shared an office yesterday, and the day before, with a person who got a positive test result today. Work day keep going in, no need to isolate. My app hasn’t pinged. What am I officially supposed to do now the rules have changed ?