Skip to content

Improve CI workflow #83

Improve CI workflow

Improve CI workflow #83

ci (7, 20.04, false, false)  /  docker

succeeded Aug 17, 2024 in 14s