From 7d0b3f1e8f2e01e94308fc34aba152e514118b65 Mon Sep 17 00:00:00 2001 From: GiulioRossetti Date: Thu, 8 Jun 2023 10:41:57 +0200 Subject: [PATCH] :memo: workflows update --- .github/workflows/python-package.yml | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/.github/workflows/python-package.yml b/.github/workflows/python-package.yml index 739497dc..c0ce3ea4 100644 --- a/.github/workflows/python-package.yml +++ b/.github/workflows/python-package.yml @@ -27,11 +27,12 @@ jobs: - name: Install system libraries run: | - sudo apt-get install -y libgmp3-dev libmpfr-dev libmpc-dev wget bzip2 build-essential libxcursor-dev libglib2.0-dev - sudo su - sudo apt-key -y adv --keyserver keyserver.ubuntu.com --recv-key 612DEFB798507F25 + sudo apt-key adv --keyserver keyserver.ubuntu.com --recv-key 612DEFB798507F25 sudo add-apt-repository -y "https://downloads.skewed.de/apt jammy main" sudo apt-get install -y python3-pip libcairo2-dev python3-graph-tool + + sudo apt-get install -y libgmp3-dev libmpfr-dev libmpc-dev wget bzip2 build-essential libxcursor-dev libglib2.0-dev + # sudo apt-get install -y libgmp3-dev # sudo apt-get install -y libmpfr-dev