Skip to content
Make Everything Selfie

Adding libmpfr-dev to docker build for bitwuzla #2129

Sign in to view logs

Adding libmpfr-dev to docker build for bitwuzla

Adding libmpfr-dev to docker build for bitwuzla #2129

Triggered via push December 13, 2025 16:58
@ckirschckirsch
pushed 0a1aa82
rotor
Status Failure
Total duration 1h 38m 21s
Artifacts –

selfie.yml

on: push
Make all of selfie on Linux
19m 3s
Make all of selfie on Linux
Make all of selfie on macOS
11m 45s
Make all of selfie on macOS
Make all of selfie on Windows
21m 49s
Make all of selfie on Windows
Make everything of selfie on docker
1h 38m
Make everything of selfie on docker
Fit to window
Zoom out
Zoom in

Annotations

1 error
Make everything of selfie on docker
Process completed with exit code 1.