Skip to content
Unsoundness checks

test: strengthen "failing_sccs_test", rename to "sccs" as it's not fa… #284

Sign in to view logs

test: strengthen "failing_sccs_test", rename to "sccs" as it's not fa…

test: strengthen "failing_sccs_test", rename to "sccs" as it's not fa… #284

Triggered via push November 8, 2023 12:54
@github-merge-queuegithub-merge-queue[bot]
pushed bf7a988
main
Status Success
Total duration 27m 27s
Artifacts –

unsoundness.yml

on: push
Miri
27m 18s
Miri
Fit to window
Zoom out
Zoom in