Merge branch 'v2.15' into v2.17

This commit is contained in:
Andrew Arnott 2024-05-09 09:01:07 -06:00
Родитель 96f559a777 717f0c4c45
Коммит fc37134ce6
Не найден ключ, соответствующий данной подписи
Идентификатор ключа GPG: F33A420C60ED9C6F
1 изменённых файлов: 0 добавлений и 1 удалений

Просмотреть файл

@ -5,7 +5,6 @@ schedules:
displayName: Weekly OptProf run
branches:
include:
- 'v?.*'
- main
always: true # we must keep data fresh since optimizationdata drops are purged after 30 days