Skip to content
Unsoundness checks

refactor: simplify infer.rs/report_mismatch using early return (#615) #258

Sign in to view logs

refactor: simplify infer.rs/report_mismatch using early return (#615)

refactor: simplify infer.rs/report_mismatch using early return (#615) #258

Triggered via push October 23, 2023 11:14
@github-merge-queuegithub-merge-queue[bot]
pushed 8395129
main
Status Success
Total duration 1h 11m 2s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

unsoundness.yml

on: push
Miri
1h 10m
Miri
Fit to window
Zoom out
Zoom in