Skip to content
Unsoundness checks

feat!: Allow "Row Variables" declared as List<Type> (#804) #538

Sign in to view logs

feat!: Allow "Row Variables" declared as List<Type> (#804)

feat!: Allow "Row Variables" declared as List<Type> (#804) #538

Triggered via push May 22, 2024 09:33
@github-merge-queuegithub-merge-queue[bot]
pushed 3ea4834
main
Status Success
Total duration 32m 34s
Artifacts –

unsoundness.yml

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