Skip to content
Miri

feat(semantic): report parameter related errors for setter/getter (#2… #22

Sign in to view logs

feat(semantic): report parameter related errors for setter/getter (#2…

feat(semantic): report parameter related errors for setter/getter (#2… #22

Triggered via push February 5, 2024 09:38
@BoshenBoshen
pushed a3570d4
main
Status Success
Total duration 2m 21s
Artifacts –

miri.yml

on: push
Miri
2m 11s
Miri
Fit to window
Zoom out
Zoom in