He continued to post daily updates of his held options until I believe 5 February, but I'm not sure what he did after that. I'm not sure if anyone but him knows, since that was around the time he was summoned by this committee.
As of that last update he was still holding most of his options, but it is believed that he had converted at least some of them and profited more than $10 million.
I don't have a better source than random Reddit comments, though.
https://github.com/actions/starter-workflows