Skip to content

fix: default values for structure fields can be noncomputable #4895

fix: default values for structure fields can be noncomputable

fix: default values for structure fields can be noncomputable #4895

Triggered via pull request September 30, 2024 02:40
Status Success
Total duration 12s
Artifacts

check-prelude.yml

on: pull_request
check-prelude
5s
check-prelude
Fit to window
Zoom out
Zoom in