Skip to content
Nix

Import suggestion for missing newtype constructor, all types constructor and indirect overloadedrecorddot fields #12935

Sign in to view logs

Import suggestion for missing newtype constructor, all types constructor and indirect overloadedrecorddot fields

Import suggestion for missing newtype constructor, all types constructor and indirect overloadedrecorddot fields #12935

Triggered via pull request April 1, 2025 12:07
@guibouguibou
synchronize #4516
import_suggestion_for_coerce
Status Success
Total duration 2m 35s
Artifacts –

nix.yml

on: pull_request
pre_job
8s
pre_job
Matrix: develop
nix_post_job
0s
nix_post_job
Fit to window
Zoom out
Zoom in