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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Miri
19m 25s
19m 25s