search

Munksgaard / session-types

MIT License
550 stars 21 forks source link

Use github actions instead of travis #66

Closed Munksgaard closed 3 years ago

kfl commented 3 years ago

What is rust.yml for?

Munksgaard commented 3 years ago

Using github actions instead of travis for CI. Admittedly, the description could be better :grin: