Skip to content
Memory Leak Detect

fix: soundness issue in Somr #13

Sign in to view logs

fix: soundness issue in Somr

fix: soundness issue in Somr #13

Triggered via pull request August 25, 2023 16:08
@darkskygitdarkskygit
synchronize #9
zxch3n:fix-soundness
Status Success
Total duration 3m 13s
Artifacts –

y-octo-memory-test.yml

on: pull_request
miri code check
3m 4s
miri code check
Fit to window
Zoom out
Zoom in