search

flux-rs / flux

Refinement Types for Rust
MIT License
658 stars 21 forks source link

Use local flux-rs on pull request #869

Closed nilehmann closed 3 weeks ago

nilehmann commented 3 weeks ago

If we make changes to flux-rs we want to use those in the CI instead of pulling the old version from github