aboutsummaryrefslogtreecommitdiff
path: root/azure-pipelines.yml
AgeCommit message (Expand)Author
2020-12-10Move Azure jobs to GitHub Actions.Théo Zimmermann
2020-12-09[osx] disable brew cleanupEnrico Tassi
2020-11-26Reactivate test-suite on MacOS X, accidently merged in #13476.Hugo Herbelin
2020-11-25tmp deactivation test-suiteHugo Herbelin
2020-11-25MacOS X install: accepting both dylib and so extensions for gtk immodules.Hugo Herbelin
2020-11-05Fix macOS CI / disable bundle generation.Théo Zimmermann
2020-09-17[build] Don't link `num` anymore in CoqEmilio Jesus Gallego Arias
2020-09-15[zarith] [micromega] Bump to 1.10 and remove some hacksEmilio Jesus Gallego Arias
2020-09-14[ci] [docker] Up testing to OCaml 4.11.1Emilio Jesus Gallego Arias
2020-08-27[numeral] [plugins] Switch from `Big_int` to ZArith.Emilio Jesus Gallego Arias
2020-07-23Ignore installation failure during call to brew.Théo Zimmermann
2020-05-18[azure OSX] Export OCAMLPATH so test-suite sees OCaml libsEmilio Jesus Gallego Arias
2020-05-16[ci] [azure] Rework windows Azure pipelineEmilio Jesus Gallego Arias
2020-05-16Revert "Temporarily disable Windows job on Azure."Emilio Jesus Gallego Arias
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-01-31 20:19:02 +0000