ci: initialize rust workflows - Githubissues

digama0 / lean-sys

Rust bindings for the Lean 4 proof assistant

Apache License 2.0

17 stars 5 forks source link

ci: initialize rust workflows #7

Closed SchrodingerZhu closed 1 year ago