diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index a10a5571d7..e851aca1b2 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -17,6 +17,8 @@ jobs: shell: bash run: | sudo add-apt-repository ppa:swi-prolog/stable + curl -fsSL https://www.mongodb.org/static/pgp/server-6.0.asc | sudo gpg --dearmor -o /etc/apt/trusted.gpg.d/mongodb-6.gpg + echo "deb [ arch=amd64,arm64 ] https://repo.mongodb.org/apt/ubuntu jammy/mongodb-org/6.0 multiverse" | sudo tee /etc/apt/sources.list.d/mongodb-org-6.0.list sudo apt-get update -y -qq sudo apt-get install swi-prolog libspdlog-dev \ libboost-python-dev libboost-serialization-dev libboost-program-options-dev \