Skip to content

minor refactor to avoid unsoundness caused by flexible types #8509

minor refactor to avoid unsoundness caused by flexible types

minor refactor to avoid unsoundness caused by flexible types #8509

Triggered via pull request June 14, 2025 15:09
Status Success
Total duration 1m 16s
Artifacts

spec.yml

on: pull_request
Fit to window
Zoom out
Zoom in