7 Commits (21a853199b4464bfe0ab3ae0356f8c23c51a2481)

Author	SHA1	Message	Date
Dave Tucker	7e6530ff1e	readme: Add unreleased docs link ... This rearranges the README to use fancy badges! And adds links to the docs published on netlify. Signed-off-by: Dave Tucker <dave@dtucker.co.uk>	3 years ago
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>	4 years ago
Dave Tucker	93e9cd0e00	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