80b2239255
make bors wait for doc CI
2021-07-16 16:07:28 +02:00
d6cc8f7ed5
Adding bors timeout
2021-04-29 14:07:42 +02:00
e5557582a2
let bors handle hitl
2021-04-21 15:03:28 +02:00
47d8a74524
ci: simplify nightly
2021-02-04 17:01:18 +01:00
1167c7693d
bors: depend on test
2021-02-03 18:01:24 +01:00
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
624ff73e64
github: more gha, no travis
2020-06-16 16:56:30 +02:00
1cc31f9a6b
cleanup bors
2019-07-02 11:30:18 +02:00
a575611e82
add bors
2019-06-03 17:22:38 +02:00
