release

Update z3-turnkey to 4.13.4 #1545

Sign in to view logs

Summary
Jobs
- cut-release
Run details
- Usage
- Workflow file

Triggered via pull request January 22, 2025 15:27

konnov

closed #3053

scala-steward:update/z3-turnkey-4.13.4

Status Skipped

Total duration 3s

Artifacts –

release.yml

on: pull_request