Skip to content
pre-commit

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

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 #5907

Triggered via pull request April 3, 2025 11:20
@guibouguibou
synchronize #4516
import_suggestion_for_coerce
Status Success
Total duration 3m 29s
Artifacts –

pre-commit.yml

on: pull_request
file-diff
8s
file-diff
pre-commit
3m 6s
pre-commit
Fit to window
Zoom out
Zoom in