Bump tools.aqua:z3-turnkey from 4.13.0.1 to 4.13.4 #315
dependabot[bot]ci.yml
on: pull_request
build
5m 2s
dependency-submission
1m 2s
Annotations
1 error, 2 warnings, and 1 notice
|
build
Process completed with exit code 1.
|
|
dependency-submission
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
build
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
dependency-submission
Submitted dependency-graph-reports/cicd-dependency-submission.json: The snapshot was accepted, but it is not for the default branch. It will not update dependency results for the repository.
|