[Errors] Test that evaluation of a well-typed term doesn't fail with a structural error #156
Triggered via pull request
September 20, 2024 23:34
effectfully
Status
Success
Total duration
1m 45s
Artifacts
–