Skip to content
Miri

[#60]: integrate miri in ci #4

Sign in to view logs

[#60]: integrate miri in ci

[#60]: integrate miri in ci #4

Triggered via pull request October 1, 2024 05:06
@xieyuschenxieyuschen
synchronize #1
support-miri
Status Success
Total duration 1m 20s
Artifacts –

miri-check.yml

on: pull_request
Miri
1m 13s
Miri
Fit to window
Zoom out
Zoom in

Annotations

1 error
Miri
Process completed with exit code 1.