Skip to content
Unsoundness checks

Update Type System part of spec wrt "types redux" (#401) #119

Sign in to view logs

Update Type System part of spec wrt "types redux" (#401)

Update Type System part of spec wrt "types redux" (#401) #119

Triggered via push August 14, 2023 08:04
@github-merge-queuegithub-merge-queue[bot]
pushed bf51c93
main
Status Success
Total duration 8m 14s
Artifacts –

unsoundness.yml

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