| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2025-07-16 | Update Docker OS to Ubuntu-25.10 | sayantn | -1/+1 |
| 2025-04-20 | Upgrade CI OS versions | sayantn | -1/+1 |
| 2024-06-29 | Fixing CI | sayantn | -1/+1 |
| 2020-03-29 | Fix CI (#845) | Amanieu d'Antras | -1/+1 |
| 2019-10-26 | ci: switch mirrors to use our CDN | Pietro Albini | -2/+2 |
| 2018-11-11 | add mips docker containers | gnzlbg | -0/+25 |
