Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Added TreeLists to Typed-Racket along with type-checking tests. #1439

Merged
merged 5 commits into from
Mar 21, 2025

Fixed treelist subtyping and added more treelist test

aa2b508
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

Added TreeLists to Typed-Racket along with type-checking tests. #1439

Fixed treelist subtyping and added more treelist test
aa2b508
Select commit
Loading
Failed to load commit list.
analyze
succeeded Mar 20, 2025 in 1h 4m 57s
Set up job
1s
Checkout code
2s
Install Racket
4m 13s
Register local packages
36s
Install local packages
2m 36s
Analyze changed files
57m 26s
Upload analysis artifact
0s
Post Checkout code
1s
Complete job
0s