Skip to content
Lint PR

chore: Don't re-set computer name if not needed #80

Sign in to view logs

chore: Don't re-set computer name if not needed

chore: Don't re-set computer name if not needed #80

Triggered via pull request January 28, 2025 21:10
@martimlobaomartimlobao
opened #91
chore/dont-sudo-unless-needed
Status Success
Total duration 25s
Artifacts –

lint_pr.yaml

on: pull_request
Run shellcheck
4s
Run shellcheck
Run shfmt
15s
Run shfmt
Run yamllint
4s
Run yamllint
Fit to window
Zoom out
Zoom in