Skip to content

Rename ci file

Rename ci file #21

linux (gcc-13, Release)

succeeded Jan 14, 2025 in 9s