Skip to content
🦕 Docusaurus Site

[Errors] Test that evaluation of a well-typed term doesn't fail with … #157

Sign in to view logs

[Errors] Test that evaluation of a well-typed term doesn't fail with …

[Errors] Test that evaluation of a well-typed term doesn't fail with … #157

Triggered via push September 21, 2024 01:37
@effectfullyeffectfully
pushed 3d42b87
master
Status Queued
Total duration –
Artifacts –

docusaurus-site.yml

on: push
Run
Run
Fit to window
Zoom out
Zoom in