search

rust-lang / datafrog

A lightweight Datalog engine in Rust
Apache License 2.0
796 stars 43 forks source link

CI no longer runs #43

Closed ecstatic-morse closed 2 years ago

ecstatic-morse commented 2 years ago

Looks like Travis CI is no longer working. Maybe we want to follow rustc and switch to GH Actions?

lqd commented 2 years ago

Ah yes indeed, we should do that. Here's an example of how it was done in the polonius repository https://github.com/rust-lang/polonius/pull/164 if someone wants to look at this before we get to it.