[Errors] Test that evaluation of a well-typed term doesn't fail with a structural error #155
Triggered via pull request
September 20, 2024 22:47
effectfully
Status
Success
Total duration
2m 41s
Artifacts
–