Rename CI script

cvg · Nov 27, 2024 · 7115f02 · 7115f02
1 parent 801e0bd
commit 7115f02
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/ci/install-ceres-centos.sh → ci/install-ceres-almalinux.sh b/ci/install-ceres-centos.sh → ci/install-ceres-almalinux.sh