hkps://hkps.pool.sks-keyservers.net
is essentially no-longer functional,
and a number of distributions and GPG tools have since switched to using
the keys.openpgp.org
key server as their default.
See this Debian patch for additional context: https://salsa.debian.org/debian/gnupg2/-/blob/debian/main/debian/patches/Use-hkps-keys.openpgp.org-as-the-default-keyserver.patch
Switch to using keys.openpgp.org in the CI as well.