xcop

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

Sign in to view logs

Summary
Jobs
- xcop
Run details
- Usage
- Workflow file

Triggered via pull request January 18, 2024 17:04

synchronize #58

renovate/tools.aqua-z3-turnkey-4.x

Status Success

Total duration 27s

Artifacts –

xcop.yml

on: pull_request