2 commits

Author	SHA1	Message	Date
Jorge Martín	067921a6de	Revert merge queue CI optimizations	2023-08-17 17:17:03 +02:00
Jorge Martin Espinosa	89b1bba96e	CI improvements (#1012)	2023-07-31 21:05:28 +02:00