1
0
mirror of synced 2026-08-05 15:06:54 +00:00

devops: delete unuzed pipeline (#1177)

This commit is contained in:
Yury Semikhatsky
2023-01-18 11:31:15 -08:00
committed by GitHub
parent 1b1343649e
commit d792d460b1
-11
View File
@@ -1,11 +0,0 @@
trigger:
- main
pool:
vmImage: ubuntu-22.04
steps:
- script: bash ./scripts/download_driver_for_all_platforms.sh
- script: mvn -B install -D skipTests --no-transfer-progress
displayName: 'Build & Install'