Skip to content
Unsoundness checks

add CI #1

Sign in to view logs

add CI

add CI #1

Triggered via push May 31, 2024 11:26
@doug-qdoug-q
pushed b7b85a5
main
Status Failure
Total duration 1m 16s
Artifacts –

unsoundness.yml

on: push
Miri
1m 7s
Miri
Fit to window
Zoom out
Zoom in

Annotations

1 error
Miri
Process completed with exit code 1.