From c8ce31a04bee5fe29d97604a88812ec04958847f Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 5 Jun 2019 17:22:13 -0700
Subject: [PATCH] rename nightly

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 scripts/{azure-pipeline.vs.yaml => nightly-windows.yaml} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename scripts/{azure-pipeline.vs.yaml => nightly-windows.yaml} (100%)

diff --git a/scripts/azure-pipeline.vs.yaml b/scripts/nightly-windows.yaml
similarity index 100%
rename from scripts/azure-pipeline.vs.yaml
rename to scripts/nightly-windows.yaml