yanguangshaonian
/
aya
mirror of https://github.com/aya-rs/aya
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
542 Commits
4 Branches
39 Tags
25 MiB
Commit Graph

6 Commits (67623fda649f7d361dddeebbc541ab4fa56518b6)

Author SHA1 Message Date
Dave Tucker 3d820ee473 ci: lint: aya: Skip doctests with miri 
Signed-off-by: Dave Tucker <dave@dtucker.co.uk>
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>
Dave Tucker 93e9cd0e00 ci: Add miri 
Signed-off-by: Dave Tucker <dave@dtucker.co.uk>
Dave Tucker 16b89fbe72 ci: Add CI for aya-bpf 
Signed-off-by: Dave Tucker <dave@dtucker.co.uk>
Alessandro Decina 12ea9f3500 CI: enable clippy for aya, aya-gen and xtask
Alessandro Decina be035bf42c CI: add lint workflow