Fix linting from a comment

casting bug Error in MIRTRACE_RUN #294

Sign in to view logs

Summary
Jobs
- deploy
Run details
- Usage
- Workflow file

Triggered via issue October 19, 2023 09:27

sguizard

commented on #262 18d6c84

Status Skipped

Total duration 3s

Artifacts –

fix-linting.yml

on: issue_comment