Fix linting from a comment

casting bug Error in MIRTRACE_RUN #235

Sign in to view logs

Summary
Jobs
- deploy
Run details
- Usage
- Workflow file

Triggered via issue July 26, 2023 10:58

Z-Zen

commented on #262 f7022ab

Status Skipped

Total duration 3s

Artifacts –

fix-linting.yml

on: issue_comment