Skip to content

fix: make ExecutionMetrics stats tracking more robust to missing stats #2832

fix: make ExecutionMetrics stats tracking more robust to missing stats

fix: make ExecutionMetrics stats tracking more robust to missing stats #2832

Triggered via pull request August 11, 2025 14:59
Status Success
Total duration 2m 5s
Artifacts

mypy.yml

on: pull_request
Fit to window
Zoom out
Zoom in