From 0780ca0228ada2b781fc10bd86cda7ce23a5132a Mon Sep 17 00:00:00 2001 From: Kevin Phoenix Date: Sun, 29 Sep 2024 18:07:07 -0400 Subject: [PATCH 1/2] Update z3 to 4.13.2.0 --- setup.cfg | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/setup.cfg b/setup.cfg index 355514fae..fa05e847f 100644 --- a/setup.cfg +++ b/setup.cfg @@ -20,7 +20,7 @@ packages = find: install_requires = cachetools typing-extensions - z3-solver==4.13.0.0 + z3-solver==4.13.2.0 python_requires = >=3.10 [options.extras_require] From 774bb673d73b1b43b5167fd583268a659ef96118 Mon Sep 17 00:00:00 2001 From: Kevin Phoenix Date: Wed, 2 Oct 2024 16:02:07 -0700 Subject: [PATCH 2/2] Upgrade macos test environment --- .github/workflows/macos.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/macos.yml b/.github/workflows/macos.yml index f3ba5f3fd..77c69f748 100644 --- a/.github/workflows/macos.yml +++ b/.github/workflows/macos.yml @@ -7,7 +7,7 @@ on: jobs: macos: name: Test macOS - runs-on: macos-12 + runs-on: macos-14 steps: - uses: actions/checkout@v3 - uses: actions/setup-python@v4