2025-05-05

ci: Fix docker release workflow (#203)

* ci: Fix `freebsd` image version on cirrus

* ci: Pin Ubuntu version to set Z3 as a default solver for macOS

* chore: Update gtest version

* ci: Update llvm version in Dockerfile

* fix(scripts): Fix ShellCheck warning

* feat(build): Add `ENABLE_FP_RUNTIME` option

* style: Use a vector instead of an array as a variable-length container

* chore(docker): Update Dockerfile

* test: Require `not-ubsan` for a couple of tests with 32-bit binaries