Debian 12 to CI (#2896)

This commit is contained in:
Leonid Fedorov
2023-07-12 15:35:01 +03:00
committed by GitHub
parent 741774eafa
commit cd53fd31a2
2 changed files with 13 additions and 5 deletions

View File

@ -1,6 +1,6 @@
#!/usr/bin/env sh
set -e
set -ex
. /etc/os-release
@ -12,6 +12,11 @@ ubuntu|debian)
apt install -y ca-certificates
echo "deb [trusted=yes] ${PACKAGES_URL}/${ARCH}/ ${OS}/" > /etc/apt/sources.list.d/repo.list
cat /etc/apt/sources.list.d/repo.list
cat << EOF > /etc/apt/preferences
Package: *
Pin: origin cspkg.s3.amazonaws.com
Pin-Priority: 700
EOF
apt update -y
;;
rocky|centos)