Skip to content
Continuous integration

Improve type variables name allocation when reporting type errors #3924

Sign in to view logs

Improve type variables name allocation when reporting type errors

Improve type variables name allocation when reporting type errors #3924

Triggered via pull request August 9, 2023 08:32
@yannhamyannham
synchronize #1512
task/improve-typechecking-reporting
Status Success
Total duration 43m 25s
Artifacts –

continuous-integration.yml

on: pull_request
Matrix: build-and-test
Fit to window
Zoom out
Zoom in