search

rust-lang / datafrog

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

Set up Github Actions #44

Closed ecstatic-morse closed 2 years ago

ecstatic-morse commented 2 years ago

...using the template from rust-lang/polonius#164. Fixes #43.

r? @lqd

ecstatic-morse commented 2 years ago

We're currently failing rustfmt, so I removed that for now. We can add it back later.

lqd commented 2 years ago

Oh ok, I was about mention the rustfmt steps, but there's no need to add them now then.

Then r=me once https://github.com/rust-lang/datafrog/blob/master/.travis.yml is deleted

ecstatic-morse commented 2 years ago

The web UI opened this on origin instead of my fork, so closing in favor of #45, which I can actually push to.