search

verus-lang / verus-analyzer

A Verus compiler front-end for IDEs (derived from rust-analyzer)
Apache License 2.0
10 stars 4 forks source link

Skip running Verus on pervasive files on save #5

Closed chanheec closed 1 year ago

chanheec commented 1 year ago

Closes https://github.com/verus-lang/rust-analyzer/issues/4