search

project-everest / everest-ci

CI scripts for project everest
3 stars 8 forks source link

Add a new action into the main CI script to do F* docs #7

Closed msprotz closed 7 years ago

msprotz commented 7 years ago

So that it goes through the same slack notification infrastructure

msprotz commented 7 years ago

The VSTS build definition already exists -- it's mostly a matter of hooking it up to the current script + slack notification feature.

darrenge commented 7 years ago

Implemented with slack message going to FStar-Build and results going to Dashboard