Remember variable names in typechecking result #45

Triggered via push September 15, 2024 20:01

Nadrieril

master

Status Success

Total duration 1m 31s

Artifacts 1

web.yml

on: push

Produced during runtime

Name	Size
github-pages Expired	548 KB