From: whitequark <whitequark@whitequark.org>
Date: Thu, 18 Mar 2021 23:56:52 +0000 (+0000)
Subject: CI: fix sri-csl/formal-methods PPA series.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c84d4aff6ef62ebf7f06728bd04754bc298fddca;p=nmigen.git

CI: fix sri-csl/formal-methods PPA series.

GHA's Ubuntu has been upgraded to Focal.
---

diff --git a/.github/workflows/main.yaml b/.github/workflows/main.yaml
index 52a827d..3bcea9b 100644
--- a/.github/workflows/main.yaml
+++ b/.github/workflows/main.yaml
@@ -20,7 +20,8 @@ jobs:
         python-version: ${{ matrix.python-version }}
     - name: Install dependencies
       run: |
-        sudo add-apt-repository ppa:sri-csl/formal-methods
+        sudo apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys FA8E1301F4D3932C
+        sudo add-apt-repository 'deb http://ppa.launchpad.net/sri-csl/formal-methods/ubuntu bionic main'
         sudo apt-get update
         sudo apt-get install yices2
         pip install setuptools setuptools_scm wheel coverage codecov yowasp-yosys nmigen-yosys