Should I reach out again or just let it be?

Hey everyone, I could use some outside perspective.

I (18M) was talking to a guy from my school for a while. We used to FaceTime and talk pretty consistently. There was one moment on a call where he got a little annoyed at something I dia, but the call actually ended on a good note and we were fine after that.

Not long after, he deleted his social media accounts and kind of went quiet. I texted him once just to reach out, but I didn't double text or push. It's been about 3 weeks now. We've seen each other in the hallway at school, we made eye contact, but neither of us said anything.

There wasn't a fight. Nothing dramatic happened. It just kind of... paused.

Part of me wants to text again eventually just to see where things stand. Another part of me thinks I should leave it alone and not chase someone who isn't reaching out.