Bump the github-actions-deps group with 5 updates (#3531) · KeYProject/key@8f6aa84

Triggered via push January 5, 2025 21:42

main

Status Success

Total duration 1h 8m 53s

Artifacts 5

tests.yml

on: push

Matrix: integration-tests

Matrix: unit-tests

5 warnings and 3 notices

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

Error: Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.

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.3 KB
test-results-testRunAllFunProofs	385 KB
test-results-testRunAllInfProofs	197 KB
test-results-ubuntu-latest	697 KB
test-results-windows-latest	694 KB