diff --git a/23.0/Dockerfile b/23.0/Dockerfile index 88e4d0d..8aaf3bb 100644 --- a/23.0/Dockerfile +++ b/23.0/Dockerfile @@ -44,8 +44,8 @@ ENV KEYS1 71A3B16735405025D447E8F274810B012346C9A6 01EA5486DE18A882D4C2684590C80 ENV KEYS2 637DB1E23370F84AFF88CCE03152347D07DA627C 82921A4B88FD454B7EB8CE3C796C4109063D4EAF 28E72909F1717FE9607754F8A7BEB2621678D37D 4DAF18FE948E7A965B30F9457E296D555E7F63A7 E463A93F5F3117EEDE6C7316BD02942421F4889F C388F6961FB972A95678E327F62711DBDCA8AE56 F9A8737BF4FF5C89C903DF31DD78544CF91B1514 287AE4CA1187C68C08B49CB2D11BD4F33F1DB499 # Run twop different keys command -RUN timeout 32s gpg --keyserver keyserver.ubuntu.com --recv-keys $KEYS1 -RUN timeout 32s gpg --keyserver keys.openpgp.org --recv-keys $KEYS2 +RUN timeout 300s gpg --keyserver keyserver.ubuntu.com --recv-keys $KEYS1 +RUN timeout 300s gpg --keyserver keys.openpgp.org --recv-keys $KEYS2 # Print imported keys, but also ensure there's no other keys in the system RUN gpg --list-keys | tail -n +3 | tee /tmp/keys.txt && \