aboutsummaryrefslogtreecommitdiff
path: root/azure-pipelines.yml
AgeCommit message (Expand)Author
2019-05-17[CI/Azure/macOS] Target macOS version 10.11Vincent Laporte
2019-05-02[CI/Azure/macOS] Fix install of OCaml through OPAMVincent Laporte
2019-04-25CoqIDE: install icons on macOSVincent Laporte
2019-04-16[CI/Azure/macOS] Set MACOSX_DEPLOYMENT_TARGET to 10.12Vincent Laporte
2019-04-16[CI/Azure/macOS] Install Coq into an artifactVincent Laporte
2019-04-15[CI/Azure/macOS] Build CoqIDEVincent Laporte
2019-04-15[CI] Print test-suite log on failure (macOS/Azure)Vincent Laporte
2019-01-21Add OSX job to azureGaëtan Gilbert
2018-12-17Set up CI with Azure PipelinesGaëtan Gilbert
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-26 01:46:50 +0000