Skip to content
Unsoundness checks

feat!: Change sums to be over TypeRows rather than Types (#863) #408

Sign in to view logs

feat!: Change sums to be over TypeRows rather than Types (#863)

feat!: Change sums to be over TypeRows rather than Types (#863) #408

Triggered via push March 12, 2024 14:17
@github-merge-queuegithub-merge-queue[bot]
pushed 46a7fba
main
Status Success
Total duration 19m 34s
Artifacts –

unsoundness.yml

on: push
Miri
19m 25s
Miri
Fit to window
Zoom out
Zoom in

Annotations

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