Lexical is maintained again, unsoundness is fixed #3359
Triggered via pull request
September 15, 2024 05:58
Shnatsel
Status
Success
Total duration
1m 41s
Artifacts
–