CodeQuality

Update Github Action for Gradle #37

Sign in to view logs

Triggered via pull request June 14, 2024 07:15

unp1

opened #8

KeYProject:updateGithubActionsForv40

Status Failure

Total duration 2m 0s

Artifacts –

code_quality.yml

on: pull_request

checkerFramework

Annotations

2 errors

Path does not exist: /home/runner/work/_temp/qodana/results/qodana.sarif.json

qodana scan failed with exit code 1