It seems like Girona has already made their first signing of the summer, Ladislav Krejci. Fabrizio Romano has tweeted about the details of the signing.
https://x.com/FabrizioRomano/status/1801357419815084092
It is a 12 million euros package. Krejci is mainly a centre-back but he has been like a goal machine.
11 goals and 7 assists in total in the past season and 13 goals in the prior season. He is able to play as a defensive midfielder at the same time. I think he is a wonderful transfer for Girona in short. It looks like they have no intention to have a weaker squad next time. 
The next target is Luciano Rodríguez from Liverpool Montevideo. He seems like a talented attacker who can play as a winger and centre-forward both.
And it seems that Girona will not be able to keep Dovbyk for the next season, in addition to Atletico, Milan has also entered the fight for the forward, in addition to various rumors, these are the most likely teams that can sign the forward. Perhaps it would be better for Dovbyk to stay in La Liga, since he knows this championship well and would not need much time to adapt to the new championship. Moreover, it seems that Semione is now more inclined to play attacking football, which will always be acceptable for a striker.https://x.com/FabrizioRomano/status/1801357419815084092
It is a 12 million euros package. Krejci is mainly a centre-back but he has been like a goal machine.
11 goals and 7 assists in total in the past season and 13 goals in the prior season. He is able to play as a defensive midfielder at the same time. I think he is a wonderful transfer for Girona in short. It looks like they have no intention to have a weaker squad next time. The next target is Luciano Rodríguez from Liverpool Montevideo. He seems like a talented attacker who can play as a winger and centre-forward both.