Skip to content
Linting

Merge pull request #10171 from alt-romes/wip/romes/10168 #172

Sign in to view logs

Merge pull request #10171 from alt-romes/wip/romes/10168

Merge pull request #10171 from alt-romes/wip/romes/10168 #172

Triggered via push July 10, 2024 04:12
@andreabediniandreabedini
pushed 2fbfd55
master
Status Success
Total duration 1m 51s
Artifacts –

lint.yml

on: push
hlint
1m 38s
hlint
Fit to window
Zoom out
Zoom in