Fix CI issues - Githubissues

ekzhang / crepe

Datalog compiler embedded in Rust as a procedural macro

Apache License 2.0

460 stars 16 forks source link

Fix CI issues #21

Closed ekzhang closed 2 years ago

ekzhang commented 2 years ago

Remove not_eq_relation ui test
Update criterion benchmarks to use new, non-deprecated API