Skip to content

Rename ci file

Rename ci file #21

linux (clang-10, Debug)

succeeded Jan 14, 2025 in 5s