Skip to content

scripts/gr716-convert.py: add executable permission #322

scripts/gr716-convert.py: add executable permission

scripts/gr716-convert.py: add executable permission #322

Triggered via pull request August 23, 2023 09:58
Status Success
Total duration 31s
Artifacts

lint.yml

on: pull_request
call-lint  /  clang-format
0s
call-lint / clang-format
call-lint  /  clang-format-pr
7s
call-lint / clang-format-pr
call-lint  /  codespell-pr
14s
call-lint / codespell-pr
call-lint  /  shellcheck-pr
10s
call-lint / shellcheck-pr
Fit to window
Zoom out
Zoom in