From cc74eadddc0d7ab6c3471a3b0e393f04e292977d Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Mon, 19 Jan 2026 09:48:14 +0000 Subject: [PATCH] Fix NetBSD CI job Per https://github.com/vmactions/netbsd-vm/issues/20 adding `-u` should fix the package installation failure of `git`. (Adding `-u` will update packages if they are already installed, and will also update dependent packages.) --- .github/workflows/bsd.yaml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/bsd.yaml b/.github/workflows/bsd.yaml index 5491a086fe9..d0ade65fef1 100644 --- a/.github/workflows/bsd.yaml +++ b/.github/workflows/bsd.yaml @@ -161,11 +161,11 @@ jobs: # apparently fail-on-error isn't the default here set -e -x echo "Fetch dependencies" - pkg_add -v gmake git python311 patch flex bison ccache parallel z3 gcc10 + pkg_add -u -v gmake git python311 patch flex bison ccache parallel z3 gcc10 ln -s $(which python3.11) /usr/pkg/bin/python3 export PATH=/usr/pkg/gcc10/bin:$PATH echo "Fetch JBMC dependencies" - pkg_add -v openjdk8 wget apache-maven + pkg_add -u -v openjdk8 wget apache-maven echo "Zero ccache stats and limit in size" export CCACHE_BASEDIR=$PWD export CCACHE_DIR=$PWD/.ccache