merge from dev

This commit is contained in:
Daan Leijen 2024-12-16 23:44:56 -08:00
commit 806bf8ea7e
28 changed files with 1055 additions and 471 deletions

View file

@ -284,7 +284,7 @@ jobs:
displayName: CTest
- job:
displayName: macOS 15 (Sequia)
displayName: macOS 15 (Sequoia)
pool:
vmImage:
macOS-15