Skip to content

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

scripts/gr716-convert.py: add executable permission

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

Triggered via push August 23, 2023 10:05
Status Success
Total duration 17s
Artifacts

lint.yml

on: push
call-lint  /  clang-format
8s
call-lint / clang-format
call-lint  /  clang-format-pr
0s
call-lint / clang-format-pr
call-lint  /  codespell-pr
0s
call-lint / codespell-pr
call-lint  /  shellcheck-pr
0s
call-lint / shellcheck-pr
Fit to window
Zoom out
Zoom in