Skip to content
Update Dependency Graph

Don't approximate a type using Nothing as prefix (#23531) #2525

Sign in to view logs

Don't approximate a type using Nothing as prefix (#23531)

Don't approximate a type using Nothing as prefix (#23531) #2525

Triggered via push July 21, 2025 16:35
@oderskyodersky
pushed 68a6d5b
main
Status Success
Total duration 1m 26s
Artifacts –

dependency-graph.yml

on: push
Update Dependency Graph
1m 21s
Update Dependency Graph
Fit to window
Zoom out
Zoom in