From: whitequark 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=2a4ec64abbfb64300d945ea587fc03d34941a492;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