Skip to content

Rename ci file

Rename ci file #21

linux (gcc-10, Release)

succeeded Jan 14, 2025 in 5s