summary refs log tree commit diff
path: root/src/ci/azure-pipelines
AgeCommit message (Expand)AuthorLines
2019-09-21ci: split aws credentials in two separate users with scoped permsPietro Albini-7/+10
2019-08-21ci: move mirrors to their standalone bucketPietro Albini-12/+12
2019-08-08remove test-miri flag from bootstrapRalf Jung-1/+1
2019-08-03ci: move .azure-pipelines to src/ci/azure-pipelinesPietro Albini-0/+881