Skip to content
Sonar analysis

Added actions for packaging SV-COMP binaries #455

Sign in to view logs

Added actions for packaging SV-COMP binaries

Added actions for packaging SV-COMP binaries #455

Triggered via push November 19, 2023 11:13
@leventeBajczileventeBajczi
pushed eefa4b8
xcfa-refactor-kind_imc
Status Cancelled
Total duration 3m 41s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

sonar.yml

on: push
run-sonar
3m 29s
run-sonar
Fit to window
Zoom out
Zoom in

Annotations

2 errors
run-sonar
Canceling since a higher priority waiting request for 'sonar-' exists
run-sonar
The operation was canceled.