lint

rename sparcv8leon3 to sparcv8leon #3625

Sign in to view logs

Triggered via pull request November 5, 2024 12:46

lukileczo

opened #383

lukileczo/gr740

Status Success

Total duration 1m 7s

Artifacts –

lint.yml

on: pull_request

call-lint / clang-format

call-lint / clang-format-pr

call-lint / codespell-pr

call-lint / shellcheck-pr