Bump org.junit.vintage:junit-vintage-engine from 5.9.3 to 5.10.0 · KeYProject/key@7667de7

Triggered via pull request July 24, 2023 20:52

opened #3218

Status Success

Total duration 4m 52s

Artifacts 1

code_quality.yml

on: pull_request

Produced during runtime

Name	Size
qodana-report Expired	13.8 MB