| Time | Rev | Arch | OS | Compiler | Comment | Warnings | Tests | ||
|---|---|---|---|---|---|---|---|---|---|
| 10 days ago | v13_dev0-1546-g4ce701b4e | linux | gcc 9.0.0 (GCC) 20180502 (experimental) | 81 | 2149 / 2149 | ||||
| 2018-06-06 | v13_dev0-1544-ga507af97e | linux | gcc 9.0.0 (GCC) 20180502 (experimental) | 81 | 2149 / 2149 | ||||
| 2018-05-24 | v13_dev0-1542-g35ed7f93d | linux | gcc 9.0.0 (GCC) 20180502 (experimental) | 81 | 2149 / 2149 | ||||