Commit Graph

4 Commits (7349cb30ba469ca765f8a13b48160ce8d2b30463)

Author SHA1 Message Date
Dave Tucker 7349cb30ba ci: Add miri
Signed-off-by: Dave Tucker <dave@dtucker.co.uk>
4 years ago
Dave Tucker 16b89fbe72 ci: Add CI for aya-bpf
Signed-off-by: Dave Tucker <dave@dtucker.co.uk>
4 years ago
Alessandro Decina 12ea9f3500 CI: enable clippy for aya, aya-gen and xtask 4 years ago
Alessandro Decina be035bf42c CI: add lint workflow 4 years ago