[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[creduce-dev] Travis-CI Build: Updated but Temporarily (?) Broken



Tonight I updated the Travis-CI build confifuration to use Ubuntu 18.04
("Bionic") and LLVM 9.0.  The last Travis-CI build of C-Reduce failed, but this
is due to some missing key or somesuch.  See the transcript below.

I am confident that when the key issue is resolved, the Travis-CI builds will
start working again.  Until then...

Eric.

-----
+ add-apt-repository -y deb http://apt.llvm.org/bionic/ llvm-toolchain-bionic-9 main
Get:1 http://security.ubuntu.com/ubuntu bionic-security InRelease [88.7 kB]
Hit:2 http://ppa.launchpad.net/ubuntu-toolchain-r/test/ubuntu bionic InRelease
Hit:3 http://archive.ubuntu.com/ubuntu bionic InRelease
Hit:4 http://archive.ubuntu.com/ubuntu bionic-updates InRelease
Get:5 http://apt.llvm.org/bionic llvm-toolchain-bionic-9 InRelease [4,231 B]
Hit:6 http://archive.ubuntu.com/ubuntu bionic-backports InRelease
Hit:7 http://apt.postgresql.org/pub/repos/apt bionic-pgdg InRelease
Err:5 http://apt.llvm.org/bionic llvm-toolchain-bionic-9 InRelease
  The following signatures couldn't be verified because the public key is not available: NO_PUBKEY 15CF4D18AF4F7421
Reading package lists... Done
W: GPG error: http://apt.llvm.org/bionic llvm-toolchain-bionic-9 InRelease: The following signatures couldn't be verified because the public key is not available: NO_PUBKEY 15CF4D18AF4F7421
E: The repository 'http://apt.llvm.org/bionic llvm-toolchain-bionic-9 InRelease' is not signed.
N: Updating from such a repository can't be done securely, and is therefore disabled by default.
N: See apt-secure(8) manpage for repository creation and user configuration details.
The command "sudo scripts/travis_deps.sh" failed and exited with 100 during .
-----

-- 
-------------------------------------------------------------------------------
Eric Eide <eeide@cs.utah.edu>  .         University of Utah School of Computing
http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512 voice, +1 (801) 581-5843 FAX