aboutsummaryrefslogtreecommitdiff
path: root/dev/ci/azure-test.sh
AgeCommit message (Expand)Author
2019-02-20[azure] [ci] Build on Windows using Dune.Emilio Jesus Gallego Arias
2018-12-17Set up CI with Azure PipelinesGaëtan Gilbert
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 14:30:15 +0000