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 ...

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 ...