Skip to content
CodeQuality

Set statement: Check assignee for validity #1977

Sign in to view logs

Set statement: Check assignee for validity

Set statement: Check assignee for validity #1977

Triggered via pull request January 13, 2024 16:07
@mattulbrichmattulbrich
synchronize #3195
setStatement
Status Failure
Total duration 3m 43s
Artifacts 1
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

code_quality.yml

on: pull_request
qodana
3m 32s
qodana
formatting
53s
formatting
checkstyle_new
1m 29s
checkstyle_new
pmd
1m 35s
pmd
Fit to window
Zoom out
Zoom in

Annotations

1 error and 2 warnings
formatting
Gradle build failed: see console output for details
Field accessed in both 'synchronized' and unsynchronized contexts: key.core/src/test/java/de/uka/ilkd/key/speclang/SetStatementTest.java#L53
Field `services` is accessed in both synchronized and unsynchronized contexts
Field accessed in both 'synchronized' and unsynchronized contexts: key.core/src/test/java/de/uka/ilkd/key/speclang/SetStatementTest.java#L58
Field `jmlIO` is accessed in both synchronized and unsynchronized contexts

Artifacts

Produced during runtime
Name Size
qodana-report Expired
14.2 MB