Skip to content
Publish PRs to GitHub Packages

Do not rename parameters for record constructors #7

Sign in to view logs

Do not rename parameters for record constructors

Do not rename parameters for record constructors #7

Triggered via pull request December 30, 2023 14:53
@shartteshartte
opened #4
Status Skipped
Total duration 2s
Artifacts –

publish-prs.yml

on: pull_request_target
publish-prs  /  publish
publish-prs / publish
Fit to window
Zoom out
Zoom in