Skip to content

Rename ci file

Rename ci file #21

linux (clang-13, Debug)

succeeded Jan 14, 2025 in 12s