Skip to content

Update dependency tools.aqua:z3-turnkey to v4.13.4 #217

Update dependency tools.aqua:z3-turnkey to v4.13.4

Update dependency tools.aqua:z3-turnkey to v4.13.4 #217

Triggered via pull request December 18, 2024 17:49
Status Cancelled
Total duration 1m 43s
Artifacts

mvn.yml

on: pull_request
Matrix: maven-build
Fit to window
Zoom out
Zoom in

Annotations

7 errors
maven-build (macos-12, 11)
The macOS-12 environment is deprecated, consider switching to macOS-13, macOS-14 (macos-latest) or macOS-15. For more details, see https://github.com/actions/runner-images/issues/10721
maven-build (macos-12, 11)
GitHub Actions has encountered an internal error when running your job.
maven-build (macos-12, 17)
GitHub Actions has encountered an internal error when running your job.
maven-build (ubuntu-20.04, 11)
Process completed with exit code 1.
maven-build (ubuntu-20.04, 17)
Process completed with exit code 1.
maven-build (windows-2022, 17)
Process completed with exit code 1.
maven-build (windows-2022, 11)
Process completed with exit code 1.