From 842a74cf077e8ab7e5d0a4258187a6cc7e768cc5 Mon Sep 17 00:00:00 2001 From: Christopher Pulte Date: Tue, 14 Jul 2026 16:42:41 +0100 Subject: [PATCH] Update run-cn-examples.yml --- .github/workflows/run-cn-examples.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/run-cn-examples.yml b/.github/workflows/run-cn-examples.yml index 1e53579..412b001 100644 --- a/.github/workflows/run-cn-examples.yml +++ b/.github/workflows/run-cn-examples.yml @@ -43,6 +43,7 @@ jobs: opam init --yes --no-setup --shell=sh --compiler=${{ matrix.version }} eval $(opam env --switch=${{ matrix.version }}) opam repo add --yes --this-switch coq-released https://coq.inria.fr/opam/released + opam update opam install --deps-only --yes ./cn.opam z3 - name: Save OPAM cache