Skip to content

minor refactor to avoid unsoundness caused by flexible types #1425

minor refactor to avoid unsoundness caused by flexible types

minor refactor to avoid unsoundness caused by flexible types #1425

Triggered via push June 14, 2025 17:30
Status Success
Total duration 1m 1s
Artifacts
add-to-backporting-project
55s
add-to-backporting-project
Fit to window
Zoom out
Zoom in