Skip to content
Sonar analysis

Fix horn solving for termination #2005

Sign in to view logs

Fix horn solving for termination

Fix horn solving for termination #2005

Triggered via pull request February 23, 2025 14:50
@leventeBajczileventeBajczi
opened #342
Status Cancelled
Total duration 19s
Artifacts –

sonar.yml

on: pull_request_target
run-sonar
12s
run-sonar
Fit to window
Zoom out
Zoom in

Annotations

2 errors
run-sonar
Canceling since a higher priority waiting request for 'sonar-refs/heads/master' exists
run-sonar
A task was canceled.