aboutsummaryrefslogtreecommitdiff
path: root/azure-pipelines.yml
AgeCommit message (Expand)Author
2020-04-13Temporarily disable Windows job on Azure.Théo Zimmermann
2020-03-29[ci] [gitlab] Bump to edge to OCaml 4.10, add test-suite for OCaml 4.11Emilio Jesus Gallego Arias
2020-03-18[ci] [docker] Update to 4.09.1Emilio Jesus Gallego Arias
2020-03-13Update Azure MacOS version 10.13 -> 10.14Gaëtan Gilbert
2020-01-03[tools] Remove support for python2Emilio Jesus Gallego Arias
2019-10-08Merge PR #10780: [CI/Azure/macOS] Update GTK3 to 3.24.11Emilio Jesus Gallego Arias
2019-09-23[CI/Azure/macOS] Update GTK3 to 3.24.11Vincent Laporte
2019-09-19[ci] Update supported OCaml version to 4.09.0Emilio Jesus Gallego Arias
2019-08-27[ci] Update to OCaml 4.08.1Emilio Jesus Gallego Arias
2019-07-29[CI/Azure/macOS] Unshallow the homebrew-core repositoryVincent Laporte
2019-07-15Azure CI MacOS: build byte target firstGaëtan Gilbert
2019-07-10[CI/Azure/macOS] Pin the homebrew-core repositoryVincent Laporte
2019-07-08[core] [api] Support OCaml 4.08Emilio Jesus Gallego Arias
2019-07-06[python] Remove use of generic python shebang, update CIEmilio Jesus Gallego Arias
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-03-08 01:56:21 +0000