The national slogan of the government of El Salvador was that they will buy one bitcoin per day but we have no conclusive information on how far they have been able to implement this slogan and they are still buying one bitcoin per day or more than that.
Am sure this was a statement made quite some times back a d they mean everything statement published from them to work upon as long as it has to do with bitcoin, they don't have to keep announcing everyday that the are buying bitcoin and holding after which they had already done the first public announcement on that, secondly, you can see for yourself on how they would have been acquiring bitcoin ever since then and how they would have bought as many as possible althrough the periods bitcoin went as dip as $15,000, you can imagine what they would have profited from that alone by now and how we are still moving ahead to get to the last ATH of $69,000 and from there to another new ATH after this year halving.
However, after the Bitcoin ETF approval, it is true that the Salvadoran government made $13 million in profit from the bitcoins invested, but the Salvadoran government did not sell the bitcoins at that time, but held the bitcoins invested by the president of Salvador for a long time.
Of course they may not have to sell now because this isn't the big catch yet, we are still anticipating for the bullrun to come after the halving, then there will be more buying and selling opportunities than before, there's always profitability in holding for some time.