Merge branch 'notebook/dev' into main

This commit is contained in:
rebornix 2021-06-15 13:55:10 -07:00
commit 16cc6ded6d
No known key found for this signature in database
GPG key ID: 181FC90D15393C20

View file

@ -124,7 +124,8 @@ stages:
- stage: Compile
jobs:
- job: Compile
pool: compile
pool:
vmImage: "Ubuntu-18.04"
variables:
VSCODE_ARCH: x64
steps: