Add Azure Pipelines support

ocaml / ocaml-ci-scripts

Skeletons for CI scripts

ISC License

101 stars 62 forks source link

Add Azure Pipelines support #302

Open XVilka opened 5 years ago

XVilka commented 5 years ago

A config from Coq might be helpful for that: https://github.com/coq/coq/blob/master/azure-pipelines.yml

pmetzger commented 5 years ago

I favor this. MacPorts has been having extremely good success with Azure Pipelines of late; the service is fast, and much more reliable than Travis. It also has much better Mac support.

XVilka commented 4 years ago

Azure Pipelines are now superseded by GitHub Actions:

https://discuss.ocaml.org/t/github-actions-for-ocaml-opam-now-available/4745
https://github.com/marketplace/actions/setup-ocaml
https://github.com/avsm/setup-ocaml/

pmetzger commented 4 years ago

Either way, are you willing to write the necessary configurations for us?

XVilka commented 4 years ago

Yes, why not?