Skip to content
pre-commit

Fix renaming data constructors with fields (resolves #2915, resolves … #6311

Sign in to view logs

Fix renaming data constructors with fields (resolves #2915, resolves …

Fix renaming data constructors with fields (resolves #2915, resolves … #6311

Triggered via push June 20, 2025 10:31
@mergifymergify[bot]
pushed 0a9b1cb
master
Status Success
Total duration 5m 39s
Artifacts –

pre-commit.yml

on: push
file-diff
6s
file-diff
pre-commit
5m 28s
pre-commit
Fit to window
Zoom out
Zoom in