4 Commits (a2a1d642c0c9fb7d49a335e7a45ae9c4c3b25dac)

Author	SHA1	Message	Date
Tamir Duberstein	d6322d2da3	github: parallel all the CI ... Human time is more precious than computer time.	2 years ago
Tamir Duberstein	74fc50bf7e	integration-test: shuttle stdio to user ... Trampoline cargo-in-cargo stdio through cargo:warning to ensure the user sees all the output. Use bpf-linker from git in CI so we can see what's going on there.	2 years ago
Dave Tucker	3b859ba70a	ci: Bump ubunutu ... Signed-off-by: Dave Tucker <dave@dtucker.co.uk>	2 years ago
Dave Tucker	cf0c866458	.github: Consolidate CI workflows into one ... This gives a better view of the CI pipeline in Github. Gives us control over what runs and when. And finally, lets us check only a single status in mergify. Signed-off-by: Dave Tucker <dave@dtucker.co.uk>	2 years ago