Being that I'm not there for a definitive answer, my guess would be they hold some and trade some. Their crypto assets are rising but it's hard to gauge how much they sell off.
They sold their pile of BTC when BTC was in the $20k range back in December but have been stockpiling them lately. The CEO is a monster workaholic, tweeting at 4;00 am this guy then assembling rigs all day bringing 50 rigs online per week!