RISC V and PowerPC 64

update release scripts and notes #3396

# to view logs

Triggered via push January 21, 2024 20:13

z3-4.12.5

Status Success

Total duration 17m 28s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

cross-build.yml

on: push

Matrix: build