Skip to content

bump(main/z3): 4.13.2 #44889

bump(main/z3): 4.13.2

bump(main/z3): 4.13.2 #44889

Triggered via push September 27, 2024 18:40
Status Success
Total duration 1h 31m 29s
Artifacts 8

packages.yml

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

Artifacts

Produced during runtime
Name Size
checksum-aarch64-f25489d5c0e85a0ced53cc707e20359062ce9cf4
314 Bytes
checksum-arm-f25489d5c0e85a0ced53cc707e20359062ce9cf4
304 Bytes
checksum-i686-f25489d5c0e85a0ced53cc707e20359062ce9cf4
306 Bytes
checksum-x86_64-f25489d5c0e85a0ced53cc707e20359062ce9cf4
312 Bytes
debs-aarch64-f25489d5c0e85a0ced53cc707e20359062ce9cf4
10.6 MB
debs-arm-f25489d5c0e85a0ced53cc707e20359062ce9cf4
11 MB
debs-i686-f25489d5c0e85a0ced53cc707e20359062ce9cf4
13 MB
debs-x86_64-f25489d5c0e85a0ced53cc707e20359062ce9cf4
12.6 MB