Commit History

Author SHA1 Message Date
  Simon Krajewski 2351868d6b [WIP] SSL support for eval (#9009) 5 years ago
  Dan Korostelev 306840f03c use camlp5 instead of camlp4 (see #8547) 6 years ago
  Andy Li 244381def2 [azure-pipelines] initial working config 6 years ago
  Andy Li 2aed680be1 [TravisCI] re-enable aspcud on mac 7 years ago
  Andy Li 0e22b7a21f [TravisCI] do not install aspcud to avoid python@2 7 years ago
  Andy Li 2f84ba8744 [TravisCI] install camlp4 from homebrew 8 years ago
  Andy Li 74f78bc279 [TravisCI] use brew bundle to install brew formulae 8 years ago