diff --git a/.github/workflows/basic_webserver_build_release.yml b/.github/workflows/basic_webserver_build_release.yml
index 10848a103cb..adf67ace702 100644
--- a/.github/workflows/basic_webserver_build_release.yml
+++ b/.github/workflows/basic_webserver_build_release.yml
@@ -1,5 +1,5 @@
 on:
-  #pull_request:
+  pull_request:
   workflow_dispatch:
 
 # this cancels workflows currently in progress if you start a new one
@@ -10,7 +10,7 @@ concurrency:
 env:
   # use .tar.gz for quick testing
   ARCHIVE_FORMAT: .tar.br
-  RELEASE_TAG: 0.8.0
+  RELEASE_TAG: 0.11.0
 
 jobs:
   fetch-releases:
@@ -83,7 +83,7 @@ jobs:
             basic-webserver/platform/linux-arm64.a
 
   build-macos-x86_64-files:
-    runs-on: [macos-12] # I expect the generated files to work on macOS 12 and up
+    runs-on: [macos-13] # I expect the generated files to work on macOS 13 and up
     needs: [fetch-releases]
     steps:
       - uses: actions/checkout@v4
@@ -91,6 +91,8 @@ jobs:
       - name: Download the previously uploaded roc_nightly archives
         uses: actions/download-artifact@v4
 
+      - run: brew install z3
+
       - run: ./ci/build_basic_webserver.sh macos_x86_64
 
       - name: Save .a files
diff --git a/.github/workflows/ci_manager.yml b/.github/workflows/ci_manager.yml
index eefe41b9e6b..4f88afe9f82 100644
--- a/.github/workflows/ci_manager.yml
+++ b/.github/workflows/ci_manager.yml
@@ -1,5 +1,5 @@
 on:
-  pull_request:
+  #pull_request:
 
 name: CI manager