sched: Improve timer vs task priority check #943

Sign in to view logs

Summary
Jobs
- ruff
Run details
- Usage
- Workflow file

Triggered via pull request October 29, 2024 11:54

rogerlz

opened #417

mainline-pr-6717

Status Success

Total duration 18s

Artifacts –

ci-static_analysis.yaml

on: pull_request