Age | Commit message (Collapse) | Author | |
---|---|---|---|
2022-11-02 | obsolete | Florian Dold | |
2021-04-13 | rename scripts, purge BB reserve topping | Florian Dold | |
reserve topping is done by the systemd timer | |||
2020-02-23 | document | Christian Grothoff | |
2020-02-23 | document deployment better, create systemd service for main test job, unify ↵ | Christian Grothoff | |
some systemd scripts via %h | |||
2020-02-23 | remove dead logic | Christian Grothoff | |
2019-12-15 | note | Christian Grothoff | |
2019-12-15 | docu | Christian Grothoff | |
2019-12-15 | docu | Christian Grothoff | |
2019-12-15 | update README | Christian Grothoff | |
2019-12-15 | add worker for the buildmaster slave | Christian Grothoff | |
2016-05-20 | removing newlines at file end | Marcello Stanisci | |
2016-04-26 | go back to HOME based configs again | Florian Dold | |