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