I runner di Github Action (integrazione continua) sembrano essere estremamente lenti oggi. Su un repository, su cui non avevo ancora fatto questo, sono passato a runner a pagamento e tutti i problemi sono scomparsi istantaneamente.