Fix for issue #3158 · KeYProject/key@b574a0d

Triggered via pull request July 25, 2023 11:48

unp1

synchronize #3224

fix3158

Status Success

Total duration 3m 57s

Artifacts 1

code_quality.yml

on: pull_request

Produced during runtime

Name	Size
qodana-report Expired	13.7 MB