Skip to content
check_target

Adding formal rule for coverage holes on controller #297

Sign in to view logs

Adding formal rule for coverage holes on controller

Adding formal rule for coverage holes on controller #297

Triggered via pull request June 6, 2024 07:39
@YoannPruvostYoannPruvost
opened #997
YoannPruvost:dev_formal_2
Status Success
Total duration 11s
Artifacts –

check_target_on_pr.yml

on: pull_request
check_target
0s
check_target
Fit to window
Zoom out
Zoom in