2 commits

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