Skip to content

feat: support pessimistic proofs #15

feat: support pessimistic proofs

feat: support pessimistic proofs #15

Triggered via pull request December 18, 2024 08:33
Status Success
Total duration 44s
Artifacts

security-build.yml

on: pull_request
SonarCloud
35s
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.