[Copilot]

This adds a dedicated release workflow for prebuilt Marabou binaries on Ubuntu, macOS, and Windows so users can download native artifacts instead of building Boost and other dependencies locally. The workflow attaches platform archives to GitHub Releases and supports manual republishing for an existing tag.

• Release workflow

  • Adds .github/workflows/binary-releases.yml
  • Builds standalone CLI archives for:
    • ubuntu-latest
    • macos-13 (x86_64)
    • windows-latest
  • Publishes assets to the existing GitHub Release entry
  • Supports workflow_dispatch with an explicit release_tag
  • Pins the release upload action and overwrites assets on reruns

• Build scope tightening

  • Disables Python and test modes for release builds
  • Updates CMakeLists.txt so build-tests is only part of the default ALL build when a test mode is enabled
  • Preserves the existing default behavior for memory-test-enabled builds

• Release correctness

  • Manual runs check out and build from the requested tag before uploading assets
  • macOS is pinned to an Intel runner so the published macos-x86_64 artifact matches the actual binary
  • Default workflow permissions are reduced to read-only except for the publish job

• Docs

  • Updates README.md to note that tagged releases publish prebuilt binaries for Ubuntu, macOS, and Windows

Example workflow shape:

on:
  release:
    types: [published]
  workflow_dispatch:
    inputs:
      release_tag:
        description: Existing Git tag or release tag to attach manually built artifacts to
        required: true

jobs:
  build_release_binaries:
    strategy:
      matrix:
        include:
          - os: ubuntu-latest
          - os: macos-13
          - os: windows-latest

• Fixes create binary releases #896