micropython: Fix patch 08 - there're no custom dirent types anymore #225

Sign in to view logs

Triggered via pull request October 5, 2023 09:25

agkaminski

opened #67

agkaminski/rtos-603

Status Success

Total duration 3m 23s

Artifacts –

lint.yml

on: pull_request

call-lint / clang-format

call-lint / clang-format-pr

call-lint / codespell-pr

call-lint / shellcheck-pr