ocaml-ci-scripts icon indicating copy to clipboard operation
ocaml-ci-scripts copied to clipboard
verified publisher icon ocaml

Add Azure Pipelines support

Open XVilka opened this issue 6 years ago • 4 comments

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

XVilka avatar Jun 26 '19 15:06 XVilka

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.

pmetzger avatar Jul 04 '19 23:07 pmetzger

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/

XVilka avatar Mar 10 '20 04:03 XVilka

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

pmetzger avatar Mar 12 '20 18:03 pmetzger

Yes, why not?

XVilka avatar Mar 24 '20 12:03 XVilka