fix(ci): use macos-15 runner for full C++20 support in Z3 build #10
| Job | Run time |
|---|---|
| 1d 0h 0m 0s | |
| -1s | |
| -1s | |
| -1s | |
| -1s | |
| -1s | |
| -1s | |
| -1s | |
| -1s | |
| -1s | |
| -1s | |
| -1s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 23h 59m 49s |
| Job | Run time |
|---|---|
| 1d 0h 0m 0s | |
| -1s | |
| -1s | |
| -1s | |
| -1s | |
| -1s | |
| -1s | |
| -1s | |
| -1s | |
| -1s | |
| -1s | |
| -1s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 23h 59m 49s |