Skip to content
CodeQuality

Exploiting JML Names in the Proof Tree #2527

Sign in to view logs

Exploiting JML Names in the Proof Tree

Exploiting JML Names in the Proof Tree #2527

Triggered via pull request June 25, 2024 13:31
@wadoonwadoon
synchronize #3022
wadoon:weigl/jmlnames
Status Failure
Total duration 1m 3s
Artifacts –

code_quality.yml

on: pull_request
checkerFramework
42s
checkerFramework
formatting
52s
formatting
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 2 warnings
checkerFramework
Gradle build failed: see console output for details
formatting
Gradle build failed: see console output for details
checkerFramework
This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.
formatting
This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.