Investigate way to refresh docs for FStar docs

project-everest / everest-ci

CI scripts for project everest

3 stars 8 forks source link

Investigate way to refresh docs for FStar docs #63

Closed darrenge closed 7 years ago

darrenge commented 7 years ago

Currently, FStar Docs CI is using a Token generated by Samin. Investigate better way to do it so not depending on Samin. Either group token or use keys the way CI Logs are submitted

darrenge commented 7 years ago

This changed was merged into master