From 8b9b02833b1c356810e272664efcacfc2cf737c9 Mon Sep 17 00:00:00 2001 From: Andrea Cavalli Date: Sun, 14 May 2023 15:06:27 +0200 Subject: [PATCH] Try to fix risc-v --- .github/workflows/scripts/install_deps_linux_riscv64_ssl3.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/scripts/install_deps_linux_riscv64_ssl3.sh b/.github/workflows/scripts/install_deps_linux_riscv64_ssl3.sh index 3ee4f39..2832c5d 100755 --- a/.github/workflows/scripts/install_deps_linux_riscv64_ssl3.sh +++ b/.github/workflows/scripts/install_deps_linux_riscv64_ssl3.sh @@ -1,6 +1,7 @@ #!/bin/bash -ex # Ubuntu 22.04 +cat /etc/apt/sources.lis echo "Manually installed:" apt-mark showmanual