Skip to content
CodeQuality

Exploiting JML Names in the Proof Tree #2516

Sign in to view logs

Exploiting JML Names in the Proof Tree

Exploiting JML Names in the Proof Tree #2516

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

code_quality.yml

on: pull_request
checkerFramework
37s
checkerFramework
formatting
51s
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.