6 Commits (cdaa3af5ae12161e12db438282912f7b027ea277)

Author	SHA1	Message	Date
Dave Tucker	3d820ee473	ci: lint: aya: Skip doctests with miri ... Signed-off-by: Dave Tucker <dave@dtucker.co.uk>	3 years ago
Dave Tucker	dc4b928ec5	miri: Disable Stacked Borrows and skip some tests ... The perf_buffer code fails due to stacked borrows, skip this for now. munmap isn't supported by miri. Signed-off-by: Dave Tucker <dave@dtucker.co.uk>	3 years ago
Dave Tucker	93e9cd0e00	ci: Add miri ... Signed-off-by: Dave Tucker <dave@dtucker.co.uk>	3 years ago
Dave Tucker	16b89fbe72	ci: Add CI for aya-bpf ... Signed-off-by: Dave Tucker <dave@dtucker.co.uk>	3 years ago
Alessandro Decina	12ea9f3500	CI: enable clippy for aya, aya-gen and xtask	3 years ago
Alessandro Decina	be035bf42c	CI: add lint workflow	3 years ago