Skip to content

feat: make prelude error type public (#669) #290

feat: make prelude error type public (#669)

feat: make prelude error type public (#669) #290

Triggered via push November 9, 2023 11:04
Status Success
Total duration 18m 58s
Artifacts

unsoundness.yml

on: push
Fit to window
Zoom out
Zoom in