| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2019-09-21 | ci: split aws credentials in two separate users with scoped perms | Pietro Albini | -7/+10 |
| 2019-08-21 | ci: move mirrors to their standalone bucket | Pietro Albini | -12/+12 |
| 2019-08-08 | remove test-miri flag from bootstrap | Ralf Jung | -1/+1 |
| 2019-08-03 | ci: move .azure-pipelines to src/ci/azure-pipelines | Pietro Albini | -0/+881 |
