Run linter

Remove duplicate `tools` entry in servant.core #375

Sign in to view logs

Summary
Jobs
- Linter
Run details
- Usage
- Workflow file

Re-run triggered January 29, 2025 21:27

olofk

#143

Mikadore:patch-1

Status Success

Total duration 26s

Artifacts –

lint.yml

on: pull_request