Skip to content
Make Everything Selfie

More concise Z3 value printing #1716

Sign in to view logs

More concise Z3 value printing

More concise Z3 value printing #1716

Triggered via push October 31, 2024 14:39
@ckirschckirsch
pushed d0bbb15
rotor
Status Success
Total duration 3h 31m 46s
Artifacts –

selfie.yml

on: push
Make all of selfie on Linux
18m 46s
Make all of selfie on Linux
Make all of selfie on macOS
10m 46s
Make all of selfie on macOS
Make all of selfie on Windows
21m 36s
Make all of selfie on Windows
Make everything of selfie on docker
3h 31m
Make everything of selfie on docker
Fit to window
Zoom out
Zoom in