Skip to content

Pessimistic Proof Integration and Features #2067

Pessimistic Proof Integration and Features

Pessimistic Proof Integration and Features #2067

Triggered via pull request December 6, 2024 01:04
Status Success
Total duration 1m 9s
Artifacts

security-build.yml

on: pull_request
sonarcloud
58s
sonarcloud
Fit to window
Zoom out
Zoom in

Annotations

1 warning
SonarScanner
This action is deprecated and will be removed in a future release. Please use the sonarqube-scan-action action instead. The sonarqube-scan-action is a drop-in replacement for this action.