Modernize CI based on latest hello-reason CI (#2479)
* Modernize CI based on latest hello-reason CI * Update main azure pipelines config * add odoc as dev dep to build CI docs * More fixes for the release
J
Jordan W committed
782aed1762d6a3a47cfdffb08971a7e3fe64bafb
Parent: affdf4c
Committed by GitHub <noreply@github.com>
on 10/29/2019, 6:06:43 AM