Skip to content
CI

Bump tools.aqua:z3-turnkey from 4.12.1 to 4.12.5 #2903

Sign in to view logs

Bump tools.aqua:z3-turnkey from 4.12.1 to 4.12.5

Bump tools.aqua:z3-turnkey from 4.12.1 to 4.12.5 #2903

Triggered via pull request March 18, 2024 21:31
@dependabotdependabot[bot]
opened #749
dependabot/gradle/tools.aqua-z3-turnkey-4.12.5
Status Success
Total duration 5m 51s
Artifacts –

continuous-integration.yaml

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