mirage/mirage-skeleton: PR #416: tutorial/local-library: take linter suggestions

@a4df432

23/10/2025 11:37

Link to Github

Stages:

✔️ x86_64-debian-13-4.14 (2m43s)
✔️ arm64-debian-13-4.14 (2m35s)
✔️ x86_64-debian-13-5.3 (3m16s)
✔️ arm64-debian-13-5.3 (3m35s)
❌ x86_64-debian-13-5.4 (1m43s)
❌ arm64-debian-13-5.4 (2m06s)

History:

23/10/2025 11:37 ❌ @a4df432 (3m35s)
23/10/2025 07:49 ❌ @77f3552 (4m18s)