merge from dev

This commit is contained in:
daan 2022-11-07 14:58:17 -08:00
commit a27637acb3
2 changed files with 2 additions and 2 deletions

View file

@ -55,7 +55,7 @@ jobs:
displayName: Linux
pool:
vmImage:
ubuntu-18.04
ubuntu-22.04
strategy:
matrix:
Debug: