Needing advice

So me and my bf have been together for 4 years. Recently he got a new job and he’s been connecting with some of his co-workers, which I think is cool. But there’s this girl that he texts after work. He says they are just friends. But I know her, from my previous job, and I know some stuff about her that just doesn’t sit right with me. I’ve read their messages and she’s literally flirting with him, but he’s like “nahhh we’re just friends”. Thankfully, he asked me if I’m comfortable with it and I told him It’s fine because I don’t want to be “that girlfriend” who doesn’t let her boyfriend have friends, but it really bothers me. Should I just tell him or keep quite?