Merge branch 'devel' into 'master'
Passed
Rajmund Hruška
created pipeline for commit f35269c3
, finished
For master
2 minutes 30 seconds, queued for 1 seconds
Zítra, 14.8.2025 od 20:00CEST, budou Gitlab, Gitlab Pages a Gitlab Runners servery aktualizované z důvodu vydání bezpečnostní aktualizace. Počítejte s několika krátkými nedostupnostmi služeb až do odvolání (běžně do hodiny). Děkuji, masters@cesnet.cz