Skip to content
Unsoundness checks

Unsoundness checks #367

Sign in to view logs

Unsoundness checks

Unsoundness checks #367

Manually triggered January 15, 2024 12:26
@ss2165ss2165
⁠ 1dc5734
fix/miri-schema
Status Cancelled
Total duration 9m 18s
Artifacts –

unsoundness.yml

on: workflow_dispatch
Miri
9m 10s
Miri
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Miri
The run was canceled by @ss2165.
Miri
The operation was canceled.