Skip to content
Make Everything Selfie

Downgrading to Ubuntu 23.04 for boolector #1736

Sign in to view logs

Downgrading to Ubuntu 23.04 for boolector

Downgrading to Ubuntu 23.04 for boolector #1736

Triggered via push December 16, 2024 14:40
@ckirschckirsch
pushed dfcfd57
main
Status Failure
Total duration 21m 10s
Artifacts –

selfie.yml

on: push
Make all of selfie on Linux
19m 44s
Make all of selfie on Linux
Make all of selfie on macOS
10m 24s
Make all of selfie on macOS
Make all of selfie on Windows
20m 56s
Make all of selfie on Windows
Make everything of selfie on docker
21s
Make everything of selfie on docker
Fit to window
Zoom out
Zoom in

Annotations

1 error and 2 warnings
Make everything of selfie on docker
Process completed with exit code 1.
Make everything of selfie on docker
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Make all of selfie on Linux
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636