Age | Commit message (Collapse) | Author | |
---|---|---|---|
2019-04-19 | whoami instead of env. | Marcello Stanisci | |
2019-04-16 | Remove garbage. | Marcello Stanisci | |
2019-04-16 | BB. | Marcello Stanisci | |
Give each color a worker, and make 'test' manage the color switch (by having itself a dedicate worker.) | |||
2019-04-16 | syntax | Marcello Stanisci | |
2019-02-13 | Addressing #5424. Not tested (relatively depends on #5490). | Marcello Stanisci | |
2017-07-14 | missing check | Marcello Stanisci | |
2017-03-26 | rename scripts | Marcello Stanisci | |