Skip to content
Commit 50a1efd5 authored by Davide Ricci's avatar Davide Ricci Committed by Davide Ricci
Browse files

Disabled sections now use /ping . Still not perfect, but it's something

parents 7ba047ca ad7097fa
Pipeline #20219 failed with stage
in 4 seconds