Skip to content

Minor fix to CI

Minor fix to CI #2100

build (11, ubuntu-20.04)

succeeded May 1, 2024 in 57s