7 Commits (2d79f22b402271e5804a1750feb86a0d36e3920a)

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>	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	4 years ago
Alessandro Decina	be035bf42c	CI: add lint workflow	4 years ago