Skip to content
Lint

Allow setting different root dir for apt #43

Sign in to view logs

Allow setting different root dir for apt

Allow setting different root dir for apt #43

Re-run triggered October 9, 2023 08:12
@dswarbrickdswarbrick
#178
egvimo:feature/apt
Status Success
Total duration 24s
Artifacts –

lint.yml

on: pull_request
flake8
13s
flake8
shellcheck
9s
shellcheck
Fit to window
Zoom out
Zoom in