Skip to content
Unsoundness checks

feat: Add string type and print function to prelude (#942) #456

Sign in to view logs

feat: Add string type and print function to prelude (#942)

feat: Add string type and print function to prelude (#942) #456

Triggered via push April 17, 2024 12:48
@github-merge-queuegithub-merge-queue[bot]
pushed b7df2ef
main
Status Success
Total duration 21m 26s
Artifacts –

unsoundness.yml

on: push
Miri
21m 5s
Miri
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Miri
Failed to restore: Cache service responded with 429