Skip to content
Unsoundness checks

Use devenv rust support (#313) #66

Sign in to view logs

Use devenv rust support (#313)

Use devenv rust support (#313) #66

Triggered via push July 28, 2023 14:48
@github-merge-queuegithub-merge-queue[bot]
pushed 05cebc5
main
Status Success
Total duration 4m 2s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

unsoundness.yml

on: push
Miri
3m 50s
Miri
Fit to window
Zoom out
Zoom in