Bump the gradle-deps group across 1 directory with 5 updates · KeYProject/key@0224d5a

Triggered via pull request January 5, 2025 19:57

opened #3536

Status Success

Total duration 1h 6m 55s

Artifacts 5

tests.yml

on: pull_request

Matrix: integration-tests

Matrix: unit-tests

1 error, 4 warnings, and 3 notices

Process completed with exit code 1.

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

{Z3 found. Caching works! Skip installation}

{Z3 found. Caching works! Skip installation}

{Z3 found. Caching works! Skip installation}

Produced during runtime

Name	Size
test-results-testProveRules	50.4 KB
test-results-testRunAllFunProofs	384 KB
test-results-testRunAllInfProofs	197 KB
test-results-ubuntu-latest	697 KB
test-results-windows-latest	697 KB