Ricerca: dev

Nello script #7 (http://www.html5italia.com/script/7/Gestione-Avanzata-CSS-CSS3-Media-Queries.aspx) abbiamo visto come sia possibile utilizzare Media Query di CSS3 per gestire lo stile della pagina in base alla risoluzione dello schermo e all'orientamento del dispositivo; in ...

Proseguiamo la mini-serie riguardante come costruire le note di rilascio a partire da due tag segnati sul codice sorgente. Per recuperare le informazioni necessarie in seguito come, ad esempio, le pull request che sono state chiuse, avremo bisogno di identificare il repository di...

Le pipeline che costruiamo sono un insieme di step che vengono eseguiti in sequenza per raggiungere un determinato scopo. Tuttavia, molte volte, ci troviamo davanti una strada non proprio lineare e, magari, quello che vogliamo fare è eseguire percorsi diversi basandoci su ...

Lavorando con sistemi che richiedono sempre più automazione, può diventare necessario poter approvare delle pull request su determinate condizioni. Per esempio, potremmo avere a disposizione dei sistemi che aggiornano le dipendenze in stile Dependabot di GitHub: se la pipeline ...