Bump MacOS version used in CI workflow

[gabrielbosio]

This job is being cancelled due to the following error:

This is a scheduled macos-13 brownout. The macOS-13 based runner images are being deprecated. For more details, see https://github.com/actions/runner-images/issues/13046.
--
The macOS-13 based runner images are being deprecated, consider switching to macOS-15 (macos-15-intel) or macOS 15 arm64 (macos-latest) instead. For more details see https://github.com/actions/runner-images/issues/13046

Here's the link to the related issue for easier access.

This PR fix this issue by bumping the MacOS version used in the failing CI job.

[github-actions]

**Hyper Thereading Benchmark results**




hyperfine -r 2 -n "hyper_threading_main threads: 1" 'RAYON_NUM_THREADS=1 ./hyper_threading_main' -n "hyper_threading_pr threads: 1" 'RAYON_NUM_THREADS=1 ./hyper_threading_pr'
Benchmark 1: hyper_threading_main threads: 1
  Time (mean ± σ):     22.754 s ±  0.020 s    [User: 21.808 s, System: 0.943 s]
  Range (min … max):   22.740 s … 22.768 s    2 runs
 
Benchmark 2: hyper_threading_pr threads: 1
  Time (mean ± σ):     22.832 s ±  0.020 s    [User: 21.943 s, System: 0.886 s]
  Range (min … max):   22.817 s … 22.846 s    2 runs
 
Summary
  hyper_threading_main threads: 1 ran
    1.00 ± 0.00 times faster than hyper_threading_pr threads: 1




hyperfine -r 2 -n "hyper_threading_main threads: 2" 'RAYON_NUM_THREADS=2 ./hyper_threading_main' -n "hyper_threading_pr threads: 2" 'RAYON_NUM_THREADS=2 ./hyper_threading_pr'
Benchmark 1: hyper_threading_main threads: 2
  Time (mean ± σ):     12.296 s ±  0.127 s    [User: 21.872 s, System: 0.971 s]
  Range (min … max):   12.206 s … 12.386 s    2 runs
 
Benchmark 2: hyper_threading_pr threads: 2
  Time (mean ± σ):     12.364 s ±  0.109 s    [User: 22.122 s, System: 0.986 s]
  Range (min … max):   12.287 s … 12.441 s    2 runs
 
Summary
  hyper_threading_main threads: 2 ran
    1.01 ± 0.01 times faster than hyper_threading_pr threads: 2




hyperfine -r 2 -n "hyper_threading_main threads: 4" 'RAYON_NUM_THREADS=4 ./hyper_threading_main' -n "hyper_threading_pr threads: 4" 'RAYON_NUM_THREADS=4 ./hyper_threading_pr'
Benchmark 1: hyper_threading_main threads: 4
  Time (mean ± σ):      9.556 s ±  0.297 s    [User: 34.882 s, System: 1.183 s]
  Range (min … max):    9.347 s …  9.766 s    2 runs
 
Benchmark 2: hyper_threading_pr threads: 4
  Time (mean ± σ):      9.795 s ±  0.102 s    [User: 34.581 s, System: 1.164 s]
  Range (min … max):    9.723 s …  9.867 s    2 runs
 
Summary
  hyper_threading_main threads: 4 ran
    1.02 ± 0.03 times faster than hyper_threading_pr threads: 4




hyperfine -r 2 -n "hyper_threading_main threads: 6" 'RAYON_NUM_THREADS=6 ./hyper_threading_main' -n "hyper_threading_pr threads: 6" 'RAYON_NUM_THREADS=6 ./hyper_threading_pr'
Benchmark 1: hyper_threading_main threads: 6
  Time (mean ± σ):      9.590 s ±  0.058 s    [User: 34.607 s, System: 1.139 s]
  Range (min … max):    9.549 s …  9.630 s    2 runs
 
Benchmark 2: hyper_threading_pr threads: 6
  Time (mean ± σ):      9.792 s ±  0.051 s    [User: 34.179 s, System: 1.247 s]
  Range (min … max):    9.756 s …  9.827 s    2 runs
 
Summary
  hyper_threading_main threads: 6 ran
    1.02 ± 0.01 times faster than hyper_threading_pr threads: 6




hyperfine -r 2 -n "hyper_threading_main threads: 8" 'RAYON_NUM_THREADS=8 ./hyper_threading_main' -n "hyper_threading_pr threads: 8" 'RAYON_NUM_THREADS=8 ./hyper_threading_pr'
Benchmark 1: hyper_threading_main threads: 8
  Time (mean ± σ):      9.388 s ±  0.119 s    [User: 35.456 s, System: 1.201 s]
  Range (min … max):    9.304 s …  9.473 s    2 runs
 
Benchmark 2: hyper_threading_pr threads: 8
  Time (mean ± σ):      9.611 s ±  0.104 s    [User: 35.075 s, System: 1.195 s]
  Range (min … max):    9.537 s …  9.684 s    2 runs
 
Summary
  hyper_threading_main threads: 8 ran
    1.02 ± 0.02 times faster than hyper_threading_pr threads: 8




hyperfine -r 2 -n "hyper_threading_main threads: 16" 'RAYON_NUM_THREADS=16 ./hyper_threading_main' -n "hyper_threading_pr threads: 16" 'RAYON_NUM_THREADS=16 ./hyper_threading_pr'
Benchmark 1: hyper_threading_main threads: 16
  Time (mean ± σ):      9.640 s ±  0.076 s    [User: 34.956 s, System: 1.247 s]
  Range (min … max):    9.587 s …  9.693 s    2 runs
 
Benchmark 2: hyper_threading_pr threads: 16
  Time (mean ± σ):      9.612 s ±  0.033 s    [User: 35.251 s, System: 1.321 s]
  Range (min … max):    9.589 s …  9.636 s    2 runs
 
Summary
  hyper_threading_pr threads: 16 ran
    1.00 ± 0.01 times faster than hyper_threading_main threads: 16

[github-actions]

Benchmark Results for unmodified programs 🚀

Command	Mean [s]	Min [s]	Max [s]	Relative
base big_factorial	1.908 ± 0.011	1.894	1.925	1.00
head big_factorial	1.916 ± 0.023	1.884	1.960	1.00 ± 0.01

Command	Mean [s]	Min [s]	Max [s]	Relative
base big_fibonacci	1.834 ± 0.014	1.808	1.852	1.00
head big_fibonacci	1.837 ± 0.016	1.805	1.851	1.00 ± 0.01

Command	Mean [s]	Min [s]	Max [s]	Relative
base blake2s_integration_benchmark	6.560 ± 0.188	6.401	6.998	1.00 ± 0.03
head blake2s_integration_benchmark	6.528 ± 0.085	6.405	6.698	1.00

Command	Mean [s]	Min [s]	Max [s]	Relative
base compare_arrays_200000	1.936 ± 0.036	1.890	2.013	1.00 ± 0.02
head compare_arrays_200000	1.934 ± 0.012	1.918	1.957	1.00

Command	Mean [s]	Min [s]	Max [s]	Relative
base dict_integration_benchmark	1.294 ± 0.011	1.278	1.318	1.01 ± 0.01
head dict_integration_benchmark	1.287 ± 0.015	1.271	1.316	1.00

Command	Mean [s]	Min [s]	Max [s]	Relative
base field_arithmetic_get_square_benchmark	1.079 ± 0.008	1.065	1.098	1.00
head field_arithmetic_get_square_benchmark	1.081 ± 0.008	1.068	1.091	1.00 ± 0.01

Command	Mean [s]	Min [s]	Max [s]	Relative
base integration_builtins	6.462 ± 0.047	6.410	6.555	1.00
head integration_builtins	6.490 ± 0.077	6.380	6.594	1.00 ± 0.01

Command	Mean [s]	Min [s]	Max [s]	Relative
base keccak_integration_benchmark	6.495 ± 0.038	6.438	6.580	1.00
head keccak_integration_benchmark	6.520 ± 0.118	6.434	6.822	1.00 ± 0.02

Command	Mean [s]	Min [s]	Max [s]	Relative
base linear_search	1.915 ± 0.009	1.896	1.924	1.00
head linear_search	1.934 ± 0.037	1.894	2.025	1.01 ± 0.02

Command	Mean [s]	Min [s]	Max [s]	Relative
base math_cmp_and_pow_integration_benchmark	1.365 ± 0.008	1.353	1.381	1.00
head math_cmp_and_pow_integration_benchmark	1.371 ± 0.007	1.360	1.381	1.00 ± 0.01

Command	Mean [s]	Min [s]	Max [s]	Relative
base math_integration_benchmark	1.313 ± 0.010	1.297	1.329	1.00
head math_integration_benchmark	1.328 ± 0.014	1.303	1.351	1.01 ± 0.01

Command	Mean [s]	Min [s]	Max [s]	Relative
base memory_integration_benchmark	1.083 ± 0.013	1.067	1.112	1.00
head memory_integration_benchmark	1.103 ± 0.011	1.081	1.117	1.02 ± 0.02

Command	Mean [s]	Min [s]	Max [s]	Relative
base operations_with_data_structures_benchmarks	1.387 ± 0.011	1.373	1.405	1.00 ± 0.01
head operations_with_data_structures_benchmarks	1.385 ± 0.011	1.373	1.410	1.00

Command	Mean [ms]	Min [ms]	Max [ms]	Relative
base pedersen	490.1 ± 4.2	481.5	496.0	1.00
head pedersen	494.7 ± 9.2	482.9	511.1	1.01 ± 0.02

Command	Mean [ms]	Min [ms]	Max [ms]	Relative
base poseidon_integration_benchmark	559.6 ± 8.9	549.0	574.1	1.01 ± 0.02
head poseidon_integration_benchmark	555.7 ± 5.1	547.8	563.6	1.00

Command	Mean [s]	Min [s]	Max [s]	Relative
base secp_integration_benchmark	1.659 ± 0.017	1.636	1.683	1.01 ± 0.01
head secp_integration_benchmark	1.644 ± 0.012	1.629	1.668	1.00

Command	Mean [ms]	Min [ms]	Max [ms]	Relative
base set_integration_benchmark	622.3 ± 5.8	617.5	635.8	1.00
head set_integration_benchmark	624.6 ± 4.0	615.8	629.4	1.00 ± 0.01

Command	Mean [s]	Min [s]	Max [s]	Relative
base uint256_integration_benchmark	3.742 ± 0.067	3.625	3.820	1.00
head uint256_integration_benchmark	3.759 ± 0.059	3.668	3.856	1.00 ± 0.02

[JulianGCalderon]

LGTM!