Skip to content
Lint

Remove a redundant field and clarify the comments. (#1851) #1799

Sign in to view logs

Remove a redundant field and clarify the comments. (#1851)

Remove a redundant field and clarify the comments. (#1851) #1799

Triggered via push September 1, 2024 20:39
@erikdubbelboererikdubbelboer
pushed 4616630
master
Status Success
Total duration 35s
Artifacts –

lint.yml

on: push
lint
26s
lint
Fit to window
Zoom out
Zoom in