Skip to content
Nix

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

Sign in to view logs

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

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

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

nix.yml

on: push
pre_job
5s
pre_job
Matrix: develop
nix_post_job
2s
nix_post_job
Fit to window
Zoom out
Zoom in