Skip to content

Rename ci file

Rename ci file #21

linux (gcc-9, Debug)

succeeded Jan 14, 2025 in 7s