Skip to content

minor refactor to avoid unsoundness caused by flexible types #2427

minor refactor to avoid unsoundness caused by flexible types

minor refactor to avoid unsoundness caused by flexible types #2427

Triggered via push June 14, 2025 17:30
Status Success
Total duration 1m 26s
Artifacts
Update Dependency Graph
1m 20s
Update Dependency Graph
Fit to window
Zoom out
Zoom in