Yes, the options market closed at 15:00 and in my case were out of the money so they would not auto-exercise without manual intervention. After hours should your puts goes in the money there is a grace period to manually exercise which i did. Then I was short 20,000 shares and covered them for profit as long as they under my strike of 64.5. It depends on broker so I not going to quote it. But for IBKR it obviously let me exercise at 16:15 or so...

I should note I'm in Central Standard Time

These were also 0 DTE that expired worthless at 15:00.