CodeQuality

For discussion: KeY distribution as ZIP #3493

Sign in to view logs

Triggered via pull request July 19, 2025 00:15

wadoon

opened #3638

weigl/dist

Status Success

Total duration 2m 16s

Artifacts –

code_quality.yml

on: pull_request

checkerFramework