Skip to content

feat: support pessimistic proofs (#3) #18

feat: support pessimistic proofs (#3)

feat: support pessimistic proofs (#3) #18

Triggered via push December 19, 2024 09:02
Status Success
Total duration 56s
Artifacts
SonarCloud
46s
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.