Skip to content
Lint

Remove some unused function arguments (#5577) #1248

Sign in to view logs

Remove some unused function arguments (#5577)

Remove some unused function arguments (#5577) #1248

Triggered via push January 15, 2024 22:49
@fingolfinfingolfin
pushed f552f74
master
Status Success
Total duration 39s
Artifacts –

lint.yml

on: push
gaplint
31s
gaplint
Fit to window
Zoom out
Zoom in