Merge pull request #16232 from argotorg/fix_ci

Ignore sphinx syntax warnings and use m4pro.medium over macos.m1.medium.gen1

Author: clonker

.circleci/config.yml

@@ -514,12 +514,12 @@ defaults:
 
   - base_osx: &base_osx
       macos:
-        xcode: "15.0.0"
-      resource_class: macos.m1.medium.gen1
+        xcode: 15.4.0
+      resource_class: m4pro.medium
       environment: &base_osx_env
         TERM: xterm
-        MAKEFLAGS: -j5
-        CPUs: 5
+        MAKEFLAGS: -j8
+        CPUs: 8
 
   - base_ubuntu_clang: &base_ubuntu_clang
       docker:

.circleci/osx_install_dependencies.sh

@@ -48,8 +48,6 @@ function validate_checksum {
 
 if [ ! -f /usr/local/lib/libz3.a ] # if this file does not exists (cache was not restored), rebuild dependencies
 then
-  brew uninstall temurin17
-  brew untap homebrew/homebrew-cask-versions
   brew update
   brew upgrade
   brew install cmake

docs/conf.py

@@ -172,6 +172,10 @@ def get_github_username_repo(url):
 # If true, keep warnings as "system message" paragraphs in the built documents.
 #keep_warnings = False
 
+suppress_warnings = [
+    # Suppress sphinx-syntax warnings, in particular `diagram descriptions can't have custom resolver_data`
+    'sphinx_syntax',
+]
 
 # -- Options for HTML output ----------------------------------------------