Robert Jördens 748a02fc4f ci: slim down ... * build binaries in one go * have bors look at specific jobs and not meta-jobs * don't do objdump anymore (gdb/embed handle elfs) * include a nightly build		2021-02-03 16:51:35 +01:00
..
ci.yml	ci: slim down	2021-02-03 16:51:35 +01:00
hitl.yml	hitl: dispatch entire github object	2021-01-12 19:06:47 +01:00