summaryrefslogtreecommitdiffstats
path: root/.azure-pipelines.yml
AgeCommit message (Expand)Author
2019-07-13add the --strict option to the check subcommandPietro Albini
2019-07-13ci: final tweaks to azure pipelines and remove travisPietro Albini
2019-07-13ci: polish azure configPietro Albini
2019-07-13ci: switch to ubuntu 16.04Pietro Albini
2019-07-13add azure pipelinesPietro Albini