BurntSushi/bstr

re-enable miri tests

Open

#164 geöffnet am 5. Juli 2023

Auf GitHub ansehen
 (0 Kommentare) (0 Reaktionen) (0 zugewiesene Personen)Rust (73 Forks)github user discovery
help wanted

Repository-Metriken

Stars
 (1.070 Stars)
PR-Merge-Metriken
 (Durchschn. Merge 233T) (9 gemergte PRs in 30 T)

Beschreibung

I ended up needing to disable Miri tests in CI: https://github.com/BurntSushi/bstr/pull/161/commits/e679e293eb5b8fedafed889b9d300f3be7c52565

It looks like Miri gets stuck whenever it enters regex-automata code. I haven't been able to figure out why. regex-automata itself has Miri running on it in CI (hundreds of tests), so I don't know what's going on.

Contributor Guide